Tableau systems for first order number theory and certain higher order theories /
41
| Main Author: | |
|---|---|
| Format: | |
| Published: |
Berlin : Springer-Verlag,
1975
|
| Subjects: |
| _version_ | 1796660252409593856 |
|---|---|
| author | 358403 Toledo, Sue Ann |
| author_facet | 358403 Toledo, Sue Ann |
| author_sort | 358403 Toledo, Sue Ann |
| collection | OCEAN |
| description | 41 |
| first_indexed | 2024-03-04T16:15:13Z |
| format | |
| id | KOHA-OAI-TEST:75479 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T16:15:13Z |
| publishDate | 1975 |
| publisher | Berlin : Springer-Verlag, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:754792020-12-19T17:00:16ZTableau systems for first order number theory and certain higher order theories / 358403 Toledo, Sue Ann Berlin : Springer-Verlag,197541PSZJBLNumber theoryURN:ISBN:3540071490 |
| spellingShingle | Number theory 358403 Toledo, Sue Ann Tableau systems for first order number theory and certain higher order theories / |
| title | Tableau systems for first order number theory and certain higher order theories / |
| title_full | Tableau systems for first order number theory and certain higher order theories / |
| title_fullStr | Tableau systems for first order number theory and certain higher order theories / |
| title_full_unstemmed | Tableau systems for first order number theory and certain higher order theories / |
| title_short | Tableau systems for first order number theory and certain higher order theories / |
| title_sort | tableau systems for first order number theory and certain higher order theories |
| topic | Number theory |
| work_keys_str_mv | AT 358403toledosueann tableausystemsforfirstordernumbertheoryandcertainhigherordertheories |