Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 1 of 1 |
Sort by
|
Proof theory
Loading...
Authors:
Schütte, Kurt
---
Crossley, John Newsome
ISBN: 3540079114 0387079114 364266475X 3642664733 9783540079118 Year: 1977 Volume: 225 Publisher: Berlin: Springer,
ISBN: 3540079114 0387079114 364266475X 3642664733 9783540079118 Year: 1977 Volume: 225 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 --- 510.6 --- Proof theory. --- 510.6 Mathematical logic --- Logique mathématique --- Logique mathematique --- Proof theory --- Theorie de la preuve
| Listing 1 - 1 of 1 |
Sort by
|