Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /

Provability, Computability and Reflection.

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: Logic Colloquium Mons, Belgium
Other Authors: Boffa, Maurice, Dalen, D. van (Dirk), 1932-, McAloon, Kenneth
Format: Electronic Conference Proceeding eBook
Language:Inglés
Francés
Published: Amsterdam : North-Holland, 1979.
Series:Studies in logic and the foundations of mathematics ; v. 97.
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

Internet

Texto completo
Texto completo
Texto completo

Items no disponibles

Holdings details from

Similar Items