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.
Diagonal Methods and Strong Cuts in Models of Arithmetic / Kenneth Mc Aloon
| Diagonal Methods and Strong Cuts in Models of Arithmetic / Kenneth Mc Aloon |
| Autore | McAloon, Kenneth |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1978 |
| Descrizione fisica | 171-297 ; 22 cm |
| Disciplina | 160 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001028700403321 |
McAloon, Kenneth
|
||
| Amsterdam [etc.] : North-Holland, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic colloquium, '77 : proceedings of the colloquium held in Wroclaw, August 1977 / edited by Macintyre, Angus, Leszek Pacholski, Jeff Paris
| Logic colloquium, '77 : proceedings of the colloquium held in Wroclaw, August 1977 / edited by Macintyre, Angus, Leszek Pacholski, Jeff Paris |
| Autore | Macintyre, Angus |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1978 |
| Descrizione fisica | x, 311 p. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Pacholski, Leszek
Paris, Jeff |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 96 |
| Soggetto topico |
Mathematical logic - Congresses
Symbolic logic - Congresses |
| ISBN | 044485178X |
| Classificazione |
AMS 03-06
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001094649707536 |
|
Macintyre, Angus
|
||
| Amsterdam : North-Holland, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||