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ț: 41638 lei

Nou

Puncte Express: 625

Preț estimativ în valută:
7968 8382$ 6614£

Carte tipărită la comandă

Livrare economică 16-30 ianuarie 25

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.