The foundations of mathematics: A study in the philosophy of science
Beth, Evert W
Provability, Computability and Reflection.
Abstract: Provability, Computability and Reflection
Abstract: Provability, Computability and Reflection
年:
1966
出版:
2ed.
出版社:
Harper & Row;Elsevier
语言:
english
页:
781
ISBN 10:
0080957455
ISBN 13:
9780080957456
系列:
Studies in logic and the foundations of mathematics
文件:
DJVU, 5.30 MB
IPFS:
,
english, 1966