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.41 lei
- Preț: 118.94 lei
- 20% Preț: 380.28 lei
- Preț: 131.65 lei
- Preț: 450.66 lei
- Preț: 175.67 lei
- Preț: 477.63 lei
- 17% Preț: 361.87 lei
- Preț: 252.36 lei
- Preț: 346.89 lei
- Preț: 138.88 lei
- Preț: 152.60 lei
- Preț: 116.67 lei
- Preț: 102.77 lei
- Preț: 119.02 lei
- 17% Preț: 365.51 lei
- Preț: 396.74 lei
- 17% Preț: 362.11 lei
- Preț: 396.10 lei
- Preț: 357.77 lei
- 17% Preț: 362.30 lei
- Preț: 403.79 lei
- 17% Preț: 361.69 lei
- Preț: 489.81 lei
- Preț: 447.84 lei
- Preț: 395.88 lei
- Preț: 477.76 lei
- Preț: 415.47 lei
- Preț: 477.76 lei
- Preț: 323.91 lei
- Preț: 319.23 lei
- Preț: 343.28 lei
- Preț: 324.67 lei
- Preț: 400.17 lei
- Preț: 321.68 lei
- Preț: 412.81 lei
- Preț: 270.46 lei
- Preț: 416.06 lei
- Preț: 413.55 lei
- Preț: 494.82 lei
- Preț: 413.55 lei
- Preț: 269.34 lei
- Preț: 328.46 lei
- Preț: 413.78 lei
- Preț: 487.46 lei
- Preț: 267.26 lei
- Preț: 419.43 lei
- Preț: 368.67 lei
- Preț: 418.52 lei
- Preț: 319.39 lei
Preț: 381.68 lei
Nou
Puncte Express: 573
Preț estimativ în valută:
73.04€ • 76.84$ • 60.63£
73.04€ • 76.84$ • 60.63£
Carte tipărită la comandă
Livrare economică 15-29 ianuarie 25
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”.