Tableau Systems for First Order Number Theory and Certain Higher Order Theories
1101308328
Tableau Systems for First Order Number Theory and Certain Higher Order Theories
46.0
Out Of Stock
5
1
Tableau Systems for First Order Number Theory and Certain Higher Order Theories
348
Tableau Systems for First Order Number Theory and Certain Higher Order Theories
348
46.0
Out Of Stock
Product Details
| ISBN-13: | 9783540071495 |
|---|---|
| Publisher: | Springer Berlin Heidelberg |
| Publication date: | 06/17/1975 |
| Series: | Lecture Notes in Mathematics , #447 |
| Edition description: | 1975 |
| Pages: | 348 |
| Product dimensions: | 6.10(w) x 9.25(h) x 0.03(d) |
From the B&N Reads Blog