Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976
Provability, Computability and Reflection
Main Author: | |
---|---|
Corporate Author: | |
Other Authors: | |
Format: | eBook |
Language: | English |
Published: |
Amsterdam
North-Holland Pub. Co.
1977, 1977
|
Series: | Studies in logic and the foundations of mathematics
|
Subjects: | |
Online Access: | |
Collection: | Elsevier eBook collection Mathematics - Collection details see MPG.ReNa |
Summary: | Provability, Computability and Reflection |
---|---|
Physical Description: | x, 612 pages portrait |
ISBN: | 1282309072 0080954960 9780080954967 9781282309074 9786612309076 |