Summary goes here
Zapisane w:
| Format: | Książka |
|---|---|
| Język: | angielski |
| Hasła przedmiotowe: | |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 3dca32b7-cfc9-41e2-8375-d431c91f0618 |
| isbn | 0387071490 |
| issn | |
| language | eng |
| physical | 339 pages ;25 cm. |
| publication | – publisher: SpringerVerlag dateOfPublication: 1975 |
| publishDate | 1975 |
| subjects | |
| title | Tableau systems for first order number theory and certain higher order theories / Sue Toledo. |
| topic | Proof theory. Number theory. Predicate calculus. |