The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited
Curtis Franks
The author cites the 1956 first edition of Alfred Tarski's LOGIC, SEMANTICS, METAMATHEMATICS that has been out-of-print for nearly fifty years and that contains hundreds of errors since corrected by Tarski in the second edition. Tarski, A. 1956/1983. LOGIC, SEMANTICS, METAMATHEMATICS, second edition revised and corrected by Tarski with new introduction and new analytic index by J. Corcoran, Hackett Publishing Company, Indianapolis (1983). Originally published by Oxford: Oxford University Press, 1956. MR85e:01065.
种类:
年:
2009
出版:
1
出版社:
Cambridge University Press
语言:
english
页:
227
ISBN 10:
0521514371
ISBN 13:
9780521514378
文件:
PDF, 697 KB
IPFS:
,
english, 2009