Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 1 of 1 |
Sort by
|
Proof theory: an introduction
Loading...
Author: Pohlers, Wolfram
ISBN: 3540518428 0387518428 3540468250 9783540518426 Year: 1989 Volume: 1407 Publisher: Berlin: Springer,
ISBN: 3540518428 0387518428 3540468250 9783540518426 Year: 1989 Volume: 1407 Publisher: Berlin: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
Mathematical logic --- Preuve, Théorie de la. --- Nombres ordinaux. --- 51 --- Mathematics --- Proof theory. --- 51 Mathematics --- Théorie de la démonstration
| Listing 1 - 1 of 1 |
Sort by
|