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.
Categorie:
Anno:
2009
Edizione:
1
Casa editrice:
Cambridge University Press
Lingua:
english
Pagine:
227
ISBN 10:
0521514371
ISBN 13:
9780521514378
File:
PDF, 697 KB
IPFS:
,
english, 2009