History


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

Result 1 to 4 of 4 total

Mathematical foundations for computer science. Sets, logic, recursion. (Mathematische Grundlagen für die Informatik. Mengen, Logik, Rekursion.) (German)
Springer-Lehrbuch. Wiesbaden: Springer Vieweg (ISBN 978-3-658-03078-0/pbk; 978-3-658-03079-7/ebook). x, 222~p. (2013).
Classification: E35 E65 P25 Reviewer: Klaus D. Kiermeier (Berlin)
1
The continuum problem. (Il problema del continuo.) (Italian)
Archimede 55, No. 2, 79-85 (2003).
Classification: E60 E40
2
Mathematical logic. A course with exercises. Part II. Recursion theory, Gödel’s theorems, set theory, model theory. (English)
Oxford University Press, Oxford (ISBN 0-19-850050-5). 351 p. (2001).
Classification: E30 E60 E40
3
Is infinity necessary? (Les infinis. L’infini est-il nécessaire?) (French)
Pour Sci., No. Special, 102-106 (2000).
Classification: E60
4
first | previous | 1 | next | last

Result 1 to 4 of 4 total

Valid XHTML 1.0 Transitional Valid CSS!