Vetenskap & teknik

First Order Categorical Logic

M Makkai • G E Reyes

Pocket

899:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

318 sidor
1977

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.

Författare: M Makkai, G E Reyes
Format: Pocket/Paperback
ISBN: 9783540084396
Språk: Engelska
Antal sidor: 318
Utgivningsdatum: 1977-09-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K