Tableau Systems for First Order Number Theory and Certain Higher Order Theories - Lecture Notes in Mathematics
1975th edition
Paperback (14 Apr 1975)
- $39.44
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Check stock
Book information
ISBN: | 9783540071495 |
Publisher: | Springer Berlin Heidelberg |
Imprint: | Springer |
Pub date: | 14 Apr 1975 |
Edition: | 1975th edition |
Language: | English |
Number of pages: | 348 |
Weight: | 494g |
Height: | 234mm |
Width: | 156mm |
Spine width: | 18mm |