Loading…

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 /

Provability, Computability and Reflection.

Bibliographic Details
Call Number:	Libro Electrónico
Corporate Author:	Logic Colloquium Oxford, England
Other Authors:	Gandy, R. O. (Robin O.), Hyland, John Martin Elliott
Format:	Electronic Conference Proceeding eBook
Language:	Inglés
Published:	Amsterdam ; New York : New York : North-Holland Pub. Co. ; Sole distributors for U.S.A. and Canada, Elsevier North-Holland, 1977.
Series:	Studies in logic and the foundations of mathematics ; v. 87.
Subjects:	Logic, Symbolic and mathematical > Congresses. Logique symbolique et math�ematique > Congr�es. MATHEMATICS > Infinity. MATHEMATICS > Logic. Logic, Symbolic and mathematical Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congr�es.
Online Access:	Texto completo Texto completo Texto completo

Description
Summary:	Provability, Computability and Reflection.
Physical Description:	1 online resource (x, 612 pages) : portrait
Bibliography:	Includes bibliographical references.
ISBN:	9780080954967 0080954960 1282309072 9781282309074 9786612309076 6612309075