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ț: 429.69 lei -
Preț: 405.31 lei -
Preț: 444.13 lei - 15%
Preț: 390.28 lei -
Preț: 432.43 lei -
Preț: 332.93 lei -
Preț: 335.89 lei -
Preț: 433.54 lei -
Preț: 413.66 lei -
Preț: 335.80 lei - 15%
Preț: 390.08 lei -
Preț: 333.17 lei -
Preț: 364.59 lei -
Preț: 304.63 lei -
Preț: 475.55 lei -
Preț: 377.68 lei -
Preț: 405.78 lei -
Preț: 336.98 lei -
Preț: 370.54 lei -
Preț: 369.61 lei -
Preț: 373.40 lei -
Preț: 370.80 lei - 15%
Preț: 461.87 lei -
Preț: 252.01 lei -
Preț: 403.63 lei -
Preț: 455.07 lei - 15%
Preț: 479.88 lei -
Preț: 476.28 lei - 15%
Preț: 485.56 lei -
Preț: 369.12 lei -
Preț: 404.36 lei -
Preț: 368.43 lei -
Preț: 402.20 lei - 15%
Preț: 425.96 lei -
Preț: 403.86 lei - 15%
Preț: 390.21 lei -
Preț: 336.29 lei -
Preț: 480.06 lei -
Preț: 333.17 lei -
Preț: 374.84 lei -
Preț: 304.83 lei - 15%
Preț: 424.92 lei -
Preț: 361.95 lei -
Preț: 313.87 lei -
Preț: 334.37 lei -
Preț: 313.49 lei -
Preț: 313.64 lei
Preț: 374.71 lei
Puncte Express: 562
Preț estimativ în valută:
66.33€ • 77.04$ • 57.46£
66.33€ • 77.04$ • 57.46£
Carte tipărită la comandă
Livrare economică 03-17 martie
Preluare comenzi: 021 569.72.76
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”.