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

Puncte Express: 613

Carte tipărită la comandă

Livrare economică 18 septembrie-02 octombrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.

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.