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.
Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa / edited by Luiz Paulo de Alcantara
| Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa / edited by Luiz Paulo de Alcantara |
| Autore | Alcantara, Luiz Paulo : de <1944- > |
| Pubbl/distr/stampa | New York : Marcel Dekker, 1985 |
| Descrizione fisica | XIV, 296 p. ; 26 cm |
| Disciplina | 160 |
| Collana | Lecture notes in pure and applied mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-8247-7330-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001207450403321 |
Alcantara, Luiz Paulo : de <1944- >
|
||
| New York : Marcel Dekker, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Methods and applications of mathematical logic : proceedings of the 7. Latin american symposium on mathematical logic held in Campinas, Sao Paulo State, Brazil, from July 29 to August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors
| Methods and applications of mathematical logic : proceedings of the 7. Latin american symposium on mathematical logic held in Campinas, Sao Paulo State, Brazil, from July 29 to August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors |
| Autore | Latin american symposium on mathematical logic : <7. ; : 1985 |
| Pubbl/distr/stampa | Providence (RI) : American Mathematical Society, 1988 |
| Collana | Contemporary mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001206780403321 |
|
Latin american symposium on mathematical logic : <7. ; : 1985
|
||
| Providence (RI) : American Mathematical Society, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||