Cargando…

Logic Colloquium '77 : proceedings of the colloquium held in Wroc�aw, August 1977 /

Provability, Computability and Reflection.

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	Logic Colloquium Wroc�aw, Poland
Otros Autores:	Macintyre, Angus, Pacholski, Leszek, Paris, J. B. (Jeff B.)
Formato:	Electrónico Congresos, conferencias eBook
Idioma:	Inglés
Publicado:	Amsterdam ; New York : New York : North Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.
Colección:	Studies in logic and the foundations of mathematics ; v. 96.
Temas:	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.
Acceso en línea:	Texto completo Texto completo Texto completo

Internet

Texto completo
Texto completo
Texto completo

Items no disponibles