Cantitate/Preț
Produs

Model Theory and Topoi: Lecture Notes in Mathematics, cartea 445

Editat de F.W. Lawvere, C. Maurer, G.C. Wraith
en Limba Engleză Paperback – 29 iul 1975

Din seria Lecture Notes in Mathematics

Preț: 42494 lei

Nou

Puncte Express: 637

Preț estimativ în valută:
8132 8390$ 6883£

Carte tipărită la comandă

Livrare economică 04-18 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540071648
ISBN-10: 3540071644
Pagini: 364
Ilustrații: VI, 358 p.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.51 kg
Ediția:1975
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

to Part I.- Abstract Horn theories.- Completeness theorem for logical categories.- Logical categories, semantical categories and topoi.- Internal categories and classification theorems.- Lectures on elementary topoi.- Some topos theoretic concepts of finiteness.- Universes in topoi.- Logical and set theoretical tools in elementary topoi.- A note on Kripke-Joyal semantics for the internal language of topoi.