Tableau Systems for First Order Number Theory and Certain Higher Order Theories E378KEQPHE
| URI | m2://res/E378KEQPHE |
|---|---|
| Kind | monograph |
| Creators | Sue Toledo |
| Date | 1975 |
| MSC | 03F99, 03C60, 03-02 |
| Scope | in |
Expressions
e1: edition
| Language | en |
|---|---|
| Date | 1975 |
| Ids | DOI 10.1007/bfb0062936, zbl 0309.02028, zbl_id 3484017 |
- m1: print, Springer Berlin Heidelberg, 1975 (record). isbn 9783540071495, isbn 9783540374428
Relations
- part_of Lecture Notes in Mathematics
Catalogue records
- springer-series: 10.1007/bfb0062936 (work)
- zbmath_search: 3484017 (work)