Born | 1927 |
4 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Random
Showing all works by author. Would you like to see only ebooks?
Born | 1927 |
Subjects
Symbolic and mathematical Logic, Logic, symbolic and mathematical, MATHEMATICS, Recursive functions, Unsolvability (Mathematical logic), ARITHMETIQUE PEANO, FONCTION VERITE, General, Infinity, Logic, Logique mathématique, Logique symbolique et mathématique, Mathematics textbooks, RECURSIVITE RELATIVE, Recursion theory, Rekursionstheorie, Récursivité, théorie de la, Symbolische logica, THEOREME CHURCH, THEOREME DEDUCTION LOGIQUE, Textbooks, Théorie de la récursivité, Théorie ensemble, Théorie modèle, VARIABLE SYNTAXIQUEID Numbers
- OLID: OL719242A
Links outside Open Library
No links yet. Add one?
August 27, 2008 | Edited by RenameBot | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |