5
1
9783540071495
Tableau Systems for First Order Number Theory and Certain Higher Order Theories / Edition 1 available in Paperback

Tableau Systems for First Order Number Theory and Certain Higher Order Theories / Edition 1
- ISBN-10:
- 3540071490
- ISBN-13:
- 9783540071495
- Pub. Date:
- 06/17/1975
- Publisher:
- Springer Berlin Heidelberg
- 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) |
From the B&N Reads Blog