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

Provability, Computability and Reflection.

Bibliographic Details

Corporate Authors:	Logic Colloquium Mons, Belgium, ScienceDirect (Online service)
Other Authors:	Boffa, Maurice, Dalen, D. van (Dirk), 1932-, McAloon, Kenneth
Format:	Conference Proceeding eBook
Language:	English French
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ématique > Congrès. MATHEMATICS > Infinity. MATHEMATICS > Logic. Logic, Symbolic and mathematical Electronic books. Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Connect to the full text of this electronic book