Articoli correlati a First Order Categorical Logic: Model-Theoretical Methods...

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories - Brossura

Makkai, M.; Reyes, G.E.

 
9783662197813: First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories
Brossura
ISBN 10: 3662197812 ISBN 13: 9783662197813
Casa editrice: Springer, 2014

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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".

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2014
  • ISBN 10 3662197812
  • ISBN 13 9783662197813
  • RilegaturaPaperback
  • LinguaInglese
  • Contatto del produttorenon disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783540084396: First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories: 611

Edizione in evidenza

ISBN 10:  3540084398 ISBN 13:  9783540084396
Casa editrice: Springer, 2009
Brossura