Cantitate/Preț
Produs

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. Reyes
en Limba Engleză Paperback – sep 1977

Din seria Lecture Notes in Mathematics

Preț: 38168 lei

Nou

Puncte Express: 573

Preț estimativ în valută:
7304 7684$ 6063£

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

Public țintă

Research

Cuprins

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”.