Toposes and Local Set Theories: An Introduction: 14 - Rilegato

Bell, John L.

 
9780198532743: Toposes and Local Set Theories: An Introduction: 14
Rilegato
ISBN 10: 0198532741 ISBN 13: 9780198532743
Casa editrice: Clarendon Pr, 1988

Sinossi

The author introduces Lawvere and Tierney's concept of topos theory, a striking development in category theory that unites a number of important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. Topos theory has led to the forging of surprising new links between classical and constructive mathematics. Bell presents toposes as the models of theories--the so-called local set theories--formulated within a typed intuitionistic logic.

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

Editore
Clarendon Pr
Data di pubblicazione
1988
Lingua
Inglese
ISBN 10 
0198532741
ISBN 13 
9780198532743
Rilegatura
Copertina rigida
Numero di pagine
286
Contatto del produttore
non disponibile
Persona responsabile
Ufficio Anagrafiche Messaggerie
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
20090
Italia

Altre edizioni note dello stesso titolo

9780486462868: Toposes and Local Set Theories: An Introduction

Edizione in evidenza

ISBN 10:  0486462862 ISBN 13:  9780486462868
Casa editrice: Dover Pubns, 2008
Brossura