History


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

Result 1 to 3 of 3 total

Checking proofs. (English)
Aberdein, Andrew (ed.) et al., The argument of mathematics. Dordrecht: Springer (ISBN 978-94-007-6533-7/hbk; 978-94-007-6534-4/ebook). Logic, Epistemology, and the Unity of Science 30, 147-170 (2013).
Classification: E50 E20 A30 E30 Reviewer: Manfred Kerber (Birmingham)
1
Gödel’s incompleteness theorems. On the occasion of Kurt Gödel’s 100th anniversary on April 28, 2006. (Die Gödelschen Unvollständigkeitssätze. Zum 100. Geburtstag von Kurt Gödel am 28. April 2006.) (German)
Math. Semesterber. 54, No. 1, 1-12 (2007).
Classification: E30 E50 A30 Reviewer: Roman Murawski (Poznań)
2
Computer courses in adult education. A report on a new approach. Kritische Computerkurse in der Erwachsenenbildung. Ein Erfahrungsbericht ueber einen neuen Ansatz. (German)
’The computer can do everything, but nothing else’. Social work and computer culture. ’Der Computer kann alles, aber sonst nichts’. Jugendarbeit und Computerkultur. Editor(s): Pluskwa, M. Evangelische Akademie Loccum, Rehburg-Loccum (Germany, F.R.) Aug 1986. p. 286-300 of 367 p. 2. ed. Copy held by FIZ Karlsruhe. Ser. Title: Loccumer Protokoll. no. 18. Conference: Tagung der Evangelischen Akademie Loccum, Loccum (Germany, F.R.), 30 May - 1 Jun 1986
Classification: B60 P70 Q60
3
first | previous | 1 | next | last

Result 1 to 3 of 3 total

Valid XHTML 1.0 Transitional Valid CSS!