Gödel’s incompleteness and consistency theorems elucidated with principles of abstraction levels, complementarity, and self-reference. (English)
Philos. Math. Educ. J. 27, 25 p., electronic only (2013).
1
Mathematical logic. Foundations for information science. (English)
Progress in Computer Science and Applied Logic 25. Basel: Birkhäuser (ISBN 978-3-7643-9976-4/hbk). xii, 261~p. (2010).
2
Towards a didactics of mathematics. (Per una didattica delle matematiche.) (Italian. English summary)
Mat. Didatt. 23, No. 1, 5-18 (2009).
3
Computability. An introduction to recursive function theory. (English)
Cambridge etc.: Cambridge University Press. X, 251 p. hbk: \sterling 20.00; pbk \sterling 6.75 (1980).
4
Start
Contact
Print
General Help
