Help on query formulation
first | previous | 1 | next | last

Result 1 to 4 of 4 total

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).
Classification: E30 E20
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).
Classification: E35 P25 Reviewer: Alex Nabebin (Moskva)
2
Towards a didactics of mathematics. (Per una didattica delle matematiche.) (Italian. English summary)
Mat. Didatt. 23, No. 1, 5-18 (2009).
Classification: D20 E20
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).
Classification: P25 E35
4
first | previous | 1 | next | last

Result 1 to 4 of 4 total

Valid XHTML 1.0 Transitional Valid CSS!