Cover Image

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

Show other versions (1)

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
Description
Summary:Provability, Computability and Reflection.
Item Description:International conference proceedings.
Physical Description:1 online resource (434 pages)
Bibliography:Includes bibliographical references.
ISBN:9780080955056
0080955053
ISSN:0049-237X ;