Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980: Lecture Notes in Mathematics, cartea 891
Editat de G.H. Müller, G. Takeuti, T. Tugueen Limba Engleză Paperback – noi 1981
Din seria Lecture Notes in Mathematics
-
Preț: 340.60 lei -
Preț: 429.99 lei - 17%
Preț: 404.51 lei -
Preț: 443.63 lei - 17%
Preț: 409.79 lei -
Preț: 500.22 lei - 17%
Preț: 411.47 lei - 17%
Preț: 485.70 lei - 17%
Preț: 486.79 lei -
Preț: 404.87 lei -
Preț: 392.84 lei -
Preț: 335.43 lei -
Preț: 464.87 lei -
Preț: 262.16 lei -
Preț: 468.94 lei -
Preț: 318.08 lei -
Preț: 322.53 lei -
Preț: 217.70 lei -
Preț: 411.74 lei -
Preț: 313.64 lei -
Preț: 408.18 lei -
Preț: 400.49 lei -
Preț: 262.84 lei -
Preț: 350.23 lei -
Preț: 360.44 lei -
Preț: 262.10 lei -
Preț: 405.97 lei -
Preț: 266.56 lei -
Preț: 408.44 lei -
Preț: 500.82 lei -
Preț: 464.67 lei -
Preț: 337.06 lei -
Preț: 315.67 lei - 20%
Preț: 471.32 lei -
Preț: 410.48 lei -
Preț: 405.97 lei -
Preț: 453.73 lei -
Preț: 410.84 lei -
Preț: 407.65 lei -
Preț: 373.93 lei -
Preț: 315.87 lei -
Preț: 313.49 lei -
Preț: 265.05 lei -
Preț: 385.53 lei -
Preț: 468.94 lei -
Preț: 390.96 lei -
Preț: 407.87 lei -
Preț: 267.53 lei -
Preț: 485.67 lei -
Preț: 389.30 lei
Preț: 411.14 lei
Puncte Express: 617
Carte tipărită la comandă
Livrare economică 08-22 decembrie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540111610
ISBN-10: 3540111611
Pagini: 408
Ilustrații: XIV, 398 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.57 kg
Ediția:1981
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540111611
Pagini: 408
Ilustrații: XIV, 398 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.57 kg
Ediția:1981
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Various kinds of Aronszajn tree with no subtree of a different kind.- On set theories in toposes.- A representation for Spector second order classes in computation theories on two types.- Precipitousness of the ideal of thin sets on a measurable cardinal.- Axiom systems of nonstandard set theory.- Semi-formal finitist proof of the transfinite induction in an initial segment of Cantor's second number class.- On the length of proofs in a formal system of recursive arithmetic.- Homogeneous formulas and definability theorems.- Boolean valued combinatorics.- Undecidability of extensions of the monadic first-order theory of successor and two-dimensional finite automata.- Sections and envelopes of type 2 objects.- Heyting valued universes of intuitionistic set theory.- Independence of a problem in elementary analysis from set theory.- Intuitionistic theories and toposes.- The Hahn-Banach theorem and a restricted inductive definition.