Cover Image

Proceedings of the Second Scandinavian Logic Symposium

Show other versions (1)

Provability, Computability and Reflection.

Bibliographic Details
Corporate Authors: Scandinavian Logic Symposium University of Oslo, ScienceDirect (Online service), Association for Symbolic Logic
Other Authors: Fenstad, Jens Erik (Editor)
Format: Conference Proceeding eBook
Language:English
French
Language Notes:Contributions in English, 1 paper in French.
Published: Amsterdam, North-Holland Pub. Co., 1971.
Series:Studies in logic and the foundations of mathematics ; v. 63.
Subjects:
Logic, Symbolic and mathematical > Congresses.
Logique symbolique et mathématique > Congrès.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Logica.
Wiskundige methoden.
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.
Physical Description:1 online resource (413 pages)
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references.
ISBN:9780080954769
0080954766