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ț: 376.27 lei -
Preț: 315.08 lei -
Preț: 348.10 lei -
Preț: 481.91 lei -
Preț: 404.87 lei -
Preț: 313.49 lei -
Preț: 435.08 lei - 15%
Preț: 424.92 lei -
Preț: 337.06 lei -
Preț: 335.64 lei -
Preț: 405.24 lei -
Preț: 299.15 lei -
Preț: 411.74 lei -
Preț: 313.64 lei -
Preț: 466.54 lei -
Preț: 389.30 lei -
Preț: 379.14 lei -
Preț: 338.27 lei -
Preț: 305.99 lei -
Preț: 316.78 lei -
Preț: 315.67 lei -
Preț: 371.97 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ț: 337.07 lei -
Preț: 392.84 lei -
Preț: 405.97 lei -
Preț: 322.53 lei -
Preț: 337.57 lei -
Preț: 406.19 lei -
Preț: 404.36 lei -
Preț: 410.84 lei -
Preț: 335.89 lei -
Preț: 485.67 lei -
Preț: 373.93 lei -
Preț: 262.84 lei -
Preț: 266.56 lei -
Preț: 464.87 lei -
Preț: 371.03 lei -
Preț: 360.44 lei -
Preț: 405.97 lei -
Preț: 468.94 lei
Preț: 374.71 lei
Puncte Express: 562
Carte tipărită la comandă
Livrare economică 29 mai-12 iunie
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”.