Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 2 of 2 |
Sort by
|
Book
A method in proofs of undefinability: with applications to functions in the arithmetic of natural numbers
Loading...
Author: De Bouvère, Karel Louis
Year: 1959 Publisher: Amsterdam: North-Holland,
Year: 1959 Publisher: Amsterdam: North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Dissertation
A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers
Loading...
Author: De Bouvère, Karel Louis
Year: 1959 Publisher: Amsterdam : North-Holland,
Year: 1959 Publisher: Amsterdam : North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
| Listing 1 - 2 of 2 |
Sort by
|