Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /

Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meetin...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores Corporativos: Logic Colloquium Leeds, England, Association for Symbolic Logic
Otros Autores: Cooper, S. B. (S. Barry), Truss, J. K.
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Cambridge ; New York : Cambridge University Press, 1999.
Colección:London Mathematical Society lecture note series ; 258.
Temas:
Set theory > Congresses.
Proof theory > Congresses.
Théorie des ensembles > Congrès.
Théorie de la preuve > Congrès.
MATHEMATICS > General.
Proof theory.
Set theory.
Logica.
Verzamelingen (wiskunde)
Bewijstheorie.
Teoria dos conjuntos (congressos)
Lógica matemática (congressos)
Ensembles, Théorie des.
Preuve, Théorie de la.
Conference papers and proceedings.
Acceso en línea:Texto completo
Descripción
Sumario:Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist.
Descripción Física:1 online resource (ix, 436 pages) : illustrations
Bibliografía:Includes bibliographical references.
ISBN:9781107089129
1107089123
9781107325944
1107325943

Ejemplares similares