9783540071495
Tableau Systems for First Order Number Theory and Certain Higher Order Theories / Edition 1 available in Paperback
- ISBN-10:
- 3540071490
- ISBN-13:
- 9783540071495
- Pub. Date:
- 06/17/1975
- Publisher:
- Springer Berlin Heidelberg
46.0
In 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) |