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: 611 - Brossura

Makkai, Michael

 
9783540084396: First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories: 611
Brossura
ISBN 10: 3540084398 ISBN 13: 9783540084396
Casa editrice: Springer, 2009

Contenuti

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 "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2009
  • ISBN 10 3540084398
  • ISBN 13 9783540084396
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Numero di pagine320
  • Contatto del produttore{language_tag:it_IT,value:"Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com"}

Compra usato

Ex-library with stamp and library-signature...
Visualizza questo articolo
9783540084396: First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories: 611
EUR 15,12

Convertire valuta

EUR 7,00 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Compra nuovo

Visualizza questo articolo
9783540084396: First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories: 611
EUR 48,37

Convertire valuta

EUR 9,70 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  0387084398 ISBN 13:  9780387084398
Casa editrice: Springer-Verlag, 1977
Brossura

Risultati della ricerca per First Order Categorical Logic: Model-Theoretical Methods...

Immagini fornite dal venditore

Makkai, Michael
Editore: Berlin, Springer, 1977
ISBN 10: 3540084398 ISBN 13: 9783540084396
Antico o usato Softcover

Da: Antiquariat Bookfarm, Löbnitz, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C-04424 3540084398 Sprache: Englisch Gewicht in Gramm: 550. Codice articolo 2490659

Contatta il venditore

Compra usato

EUR 15,12
Convertire valuta
Spese di spedizione: EUR 7,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Makkai, Michael and Gonzalo E. Reyes:
Editore: Springer, 1977
ISBN 10: 3540084398 ISBN 13: 9783540084396
Antico o usato Broschiert

Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Broschiert. Condizione: Gut. 301 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 525. Codice articolo 2207016

Contatta il venditore

Compra usato

EUR 18,95
Convertire valuta
Spese di spedizione: EUR 9,95
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

G. E. Reyes, M. Makkai
ISBN 10: 3540084398 ISBN 13: 9783540084396
Antico o usato Brossura

Da: Buchpark, Trebbin, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 320 | Sprache: Englisch | Produktart: Bücher. Codice articolo 4319387/202

Contatta il venditore

Compra usato

EUR 31,96
Convertire valuta
Spese di spedizione: EUR 9,90
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

M. Makkai|G.E. Reyes
ISBN 10: 3540084398 ISBN 13: 9783540084396
Nuovo Brossura
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.- Theor. Codice articolo 4880023

Contatta il venditore

Compra nuovo

EUR 48,37
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

G. E. Reyes
ISBN 10: 3540084398 ISBN 13: 9783540084396
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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¿. 320 pp. Englisch. Codice articolo 9783540084396

Contatta il venditore

Compra nuovo

EUR 53,49
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Makkai, Michael
Editore: Springer, 1977
ISBN 10: 3540084398 ISBN 13: 9783540084396
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783540084396_new

Contatta il venditore

Compra nuovo

EUR 54,86
Convertire valuta
Spese di spedizione: EUR 10,50
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

G. E. Reyes
ISBN 10: 3540084398 ISBN 13: 9783540084396
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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¿. Codice articolo 9783540084396

Contatta il venditore

Compra nuovo

EUR 53,49
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

G. E. Reyes
ISBN 10: 3540084398 ISBN 13: 9783540084396
Nuovo Taschenbuch

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Neuware -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¿. 320 pp. Englisch. Codice articolo 9783540084396

Contatta il venditore

Compra nuovo

EUR 53,49
Convertire valuta
Spese di spedizione: EUR 15,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Makkai, Michael
Editore: Springer, 1977
ISBN 10: 3540084398 ISBN 13: 9783540084396
Nuovo Brossura

Da: California Books, Miami, FL, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo I-9783540084396

Contatta il venditore

Compra nuovo

EUR 60,77
Convertire valuta
Spese di spedizione: EUR 7,81
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Makkai, M.
Editore: Springer 1977-09, 1977
ISBN 10: 3540084398 ISBN 13: 9783540084396
Nuovo PF

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

PF. Condizione: New. Codice articolo 6666-IUK-9783540084396

Contatta il venditore

Compra nuovo

EUR 49,32
Convertire valuta
Spese di spedizione: EUR 23,34
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungi al carrello

Vedi altre 5 copie di questo libro

Vedi tutti i risultati per questo libro