Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Tableau Systems for First Order Number Theory and Certain Higher Order Theories / Sue Toledo
| Tableau Systems for First Order Number Theory and Certain Higher Order Theories / Sue Toledo |
| Autore | Toledo, Sue Ann |
| Pubbl/distr/stampa | Berlin, : Springer, 1975 |
| Descrizione fisica | 339 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Number theory
Predicate calculus Proof Theory Proofs |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0256655 |
Toledo, Sue Ann
|
||
| Berlin, : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Tableau systems for first order number theory and certain higher order theories / Sue Toledo
| Tableau systems for first order number theory and certain higher order theories / Sue Toledo |
| Autore | Toledo, Sue Ann |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
| Descrizione fisica | 339 p. ; 25 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 447 |
| Soggetto topico |
Number theory
Predicate calculus Proof theory |
| ISBN | 3540071490 |
| Classificazione | AMS 03F |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001410909707536 |
|
Toledo, Sue Ann
|
||
| Berlin ; New York : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||