Alle Kategorien
Bücher
Bestseller Hardcover
Bestseller Taschenbuch
Bestseller Autor
Persönlichkeitsentwicklung
Mangas
Finanzbücher
Selbstfindung
Essen & Trinken
Englischsprachige Bücher
Märchen & Sagen
Krimis & Thriller
Neuerscheinungen
Ratgeber
Motivationsbücher
WAS IST WAS
Wieso? Weshalb? Warum?
BookTok
Schule & Lernen
Schulbücher bestellen
Berufsschulbücher
Neuerscheinungen
Kreativität & Do it yourself
Gesellschaftsspiele
Bestseller
Brettspiele
Geschicklichkeitsspiele
EXIT - Das Spiel
Neuerscheinungen
Kalender
Adventskalender
Notizkalender
Tageskalender
Wochenkalender
Monatskalender
Motivkalender
Hörbücher
Neuerscheinungen
Themenwelt
tiptoi
Puzzlespiele
Halloween
Winterwonderland
Autor des Monats
Asterix
Valentinstag
Frühlingserwachen
Warrior Cats
Black Dagger
Fast & Furious
Robert Hunter
Midnight Breed
Harry Potter
David Hunter
Herr der Ringe
Ostern
Tonies
0,00 €
Cover: 9783540084396 | First Order Categorical Logic | M. Makkai (u. a.) | Taschenbuch | 1977
Rückseite: 9783540084396 | First Order Categorical Logic | M. Makkai (u. a.) | Taschenbuch | 1977
Cover: 9783540084396 | First Order Categorical Logic | M. Makkai (u. a.) | Taschenbuch | 1977
Rückseite: 9783540084396 | First Order Categorical Logic | M. Makkai (u. a.) | Taschenbuch | 1977
Dekorationsartikel gehören nicht zum Leistungsumfang.
First Order Categorical Logic
Model-Theoretical Methods in the Theory of Topoi and Related Categories
Taschenbuch von M. Makkai (u. a.)
Sprache: Englisch

53,49 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
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".
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".
Inhaltsverzeichnis
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".
Details
Erscheinungsjahr: 1977
Fachbereich: Grundlagen
Genre: Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: Lecture Notes in Mathematics
Inhalt: Einband - flex.(Paperback)
ISBN-13: 9783540084396
ISBN-10: 3540084398
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Makkai, M.
Reyes, G. E.
Hersteller: Springer
Springer Vieweg
Springer-Verlag GmbH
Lecture Notes in Mathematics
Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, D-69115 Heidelberg, productsafety@springernature.com
Maße: 235 x 155 x 18 mm
Von/Mit: M. Makkai (u. a.)
Erscheinungsdatum: 01.09.1977
Gewicht: 0,487 kg
Artikel-ID: 101844096
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...