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ț: 360.42 lei
- Preț: 119.36 lei
- Preț: 452.22 lei
- Preț: 175.68 lei
- Preț: 197.00 lei
- Preț: 279.76 lei
- Preț: 477.65 lei
- 17% Preț: 361.88 lei
- Preț: 252.37 lei
- Preț: 348.09 lei
- Preț: 138.88 lei
- Preț: 152.61 lei
- Preț: 116.67 lei
- Preț: 102.77 lei
- Preț: 119.02 lei
- 17% Preț: 365.52 lei
- Preț: 396.75 lei
- 17% Preț: 362.12 lei
- Preț: 396.11 lei
- Preț: 357.78 lei
- 17% Preț: 362.31 lei
- Preț: 403.80 lei
- 17% Preț: 361.70 lei
- Preț: 496.21 lei
- Preț: 449.38 lei
- Preț: 395.90 lei
- Preț: 177.41 lei
- Preț: 416.91 lei
- Preț: 479.40 lei
- Preț: 479.40 lei
- Preț: 325.04 lei
- Preț: 320.31 lei
- Preț: 344.45 lei
- Preț: 325.78 lei
- Preț: 401.54 lei
- Preț: 322.79 lei
- Preț: 414.21 lei
- Preț: 271.40 lei
- Preț: 417.49 lei
- Preț: 414.97 lei
- Preț: 496.52 lei
- Preț: 414.97 lei
- Preț: 270.27 lei
- Preț: 329.57 lei
- Preț: 415.20 lei
- Preț: 489.15 lei
- Preț: 268.18 lei
- Preț: 420.87 lei
- Preț: 373.45 lei
- Preț: 419.96 lei
Preț: 382.98 lei
Nou
Puncte Express: 574
Preț estimativ în valută:
73.32€ • 75.40$ • 60.82£
73.32€ • 75.40$ • 60.82£
Carte tipărită la comandă
Livrare economică 17 februarie-03 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”.