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 |
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 | ||
|