First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories: Lecture Notes in Mathematics, cartea 611
Autor M. Makkai, G.E. Reyesen Limba Engleză Paperback – sep 1977
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 - 15%
Preț: 390.08 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ț: 374.71 lei
Puncte Express: 562
Preț estimativ în valută:
66.25€ • 78.14$ • 57.74£
66.25€ • 78.14$ • 57.74£
Carte tipărită la comandă
Livrare economică 11-25 aprilie
Specificații
ISBN-13: 9783540084396
ISBN-10: 3540084398
Pagini: 320
Ilustrații: II, 318 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.45 kg
Ediția:1977
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540084398
Pagini: 320
Ilustrații: II, 318 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.45 kg
Ediția:1977
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Grothendieck topoi.- Interpretation of the logic in categories.- Axioms and rules of inference valid in categories.- Boolean and heyting valued models.- Completeness.- Existence theorems on geometric morphisms of topoi.- Conceptual completeness.- Theories as categories.- Classifying topoi.- Corrections to “first order categorical logic”.