ISILC - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974: Lecture Notes in Mathematics, cartea 499
Editat de G. H. Müller, A. Oberschelp, K. Potthoffen Limba Engleză Paperback – dec 1975
Din seria Lecture Notes in Mathematics
- 17%
Preț: 389.73 lei -
Preț: 340.60 lei -
Preț: 429.99 lei -
Preț: 430.15 lei -
Preț: 374.84 lei -
Preț: 313.87 lei -
Preț: 346.75 lei -
Preț: 480.06 lei -
Preț: 404.87 lei -
Preț: 313.49 lei -
Preț: 433.41 lei - 15%
Preț: 424.92 lei -
Preț: 337.06 lei -
Preț: 334.37 lei -
Preț: 405.24 lei -
Preț: 299.15 lei -
Preț: 411.74 lei -
Preț: 313.64 lei -
Preț: 264.14 lei -
Preț: 389.30 lei -
Preț: 377.68 lei -
Preț: 336.98 lei -
Preț: 304.83 lei -
Preț: 316.78 lei -
Preț: 315.67 lei -
Preț: 370.54 lei -
Preț: 407.87 lei -
Preț: 468.94 lei -
Preț: 335.43 lei -
Preț: 313.49 lei -
Preț: 318.81 lei -
Preț: 315.87 lei -
Preț: 335.80 lei -
Preț: 392.84 lei -
Preț: 405.97 lei -
Preț: 322.53 lei -
Preț: 336.29 lei -
Preț: 406.19 lei -
Preț: 404.36 lei -
Preț: 410.84 lei -
Preț: 335.89 lei -
Preț: 262.10 lei -
Preț: 373.93 lei -
Preț: 262.84 lei -
Preț: 266.56 lei -
Preț: 464.87 lei -
Preț: 369.61 lei -
Preț: 360.44 lei -
Preț: 485.67 lei -
Preț: 466.54 lei
Preț: 489.19 lei
Puncte Express: 734
Preț estimativ în valută:
86.50€ • 99.19$ • 74.76£
86.50€ • 99.19$ • 74.76£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783540075349
ISBN-10: 3540075348
Pagini: 664
Ilustrații: VII, 651 p.
Dimensiuni: 155 x 235 x 35 mm
Greutate: 0.92 kg
Ediția:1975
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540075348
Pagini: 664
Ilustrații: VII, 651 p.
Dimensiuni: 155 x 235 x 35 mm
Greutate: 0.92 kg
Ediția:1975
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
An observation on the product of Silver's forcing.- Recursively unsolvable algorithmic problems and related questions reexamined.- Lectures on large cardinal axioms.- Indescribability properties and small large cardinals.- Marginalia to a theorem of Silver.- Computation theories: An axiomatic approach to recursion on general structures.- Closed models and hulls of theories.- Axioms of choice in Morse-Kelley class theory.- First-order logic and its extensions.- Set theory in infinitary languages.- Sur la méthode en histoire de la logioue.- The model theory of local fields.- Quantifier elimination.- Intensional semantics for natural language.- On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes.- Many-valued algorithmic logic.- The least ? 2 1 and ? 2 1 reflecting ordinals.- Data types as lattices.