Tableau systems for first order number theory and certain higher order theories Sue Toledo
Material type: TextSeries: Lecture notes in mathematics ; 447Publication details: Berlin Springer-Verlag 1975Description: 339pISBN:- 3540071490
- 511.3 T649T
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
General Books | Govind Ballabh Pant University of Agriculture and Technology | 511.3 T649T (Browse shelf(Opens below)) | Available | 187850 |
Includes bibliography
There are no comments on this title.