Startseite > Bücher > Bücher nach Sprache > englischsprachige Literatur > Mathematikbücher - englischsprachig > Artikel

Model Theory and Topoi

Menge:

Stück

Produktinformationen

Artikel-Nr.:
858A-9783540071648

Hersteller:
Springer Verlag

Herst.-Nr.:
9783540071648

EAN/GTIN:
9783540071648

Suchbegriffe:

Mathematik-Bücher
Mathematikbücher - englischsprachig
mathematik bücher

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.

Weitere Informationen:


Author:	F.W. Lawvere; C. Maurer; G.C. Wraith
Verlag:	Springer Berlin
Sprache:	eng

... > Naturwissenschaften, Medizin, Informatik, Technik > Mathematik > Geometrie, Topologie

Weitere Suchbegriffe: Finite; logic; Topos; Boundary Element Method; classification; Language; Semantics; Set; theorem; tool, Finite, Logic, Topos, boundary element method, classification, language, model theory, semantics, set, theorem

Die Konditionen im Überblick¹

Lieferzeit

Lagerstand

Preis

€ 39,95*

Konditionen selbst auswählen