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.
Logiques classiques et non classiques : Essai sur les fondements de la logique / N.C.A. Da Costa ; Traduit du portugais et complété par Jean-Yves Béziau
| Logiques classiques et non classiques : Essai sur les fondements de la logique / N.C.A. Da Costa ; Traduit du portugais et complété par Jean-Yves Béziau |
| Autore | Costa, Newton Carneiro Affonso : da <1929- > |
| Pubbl/distr/stampa | Paris [etc.] : Masson, 1997 |
| Descrizione fisica | 275 p. ; 24 cm |
| Disciplina | 509 |
| Collana | Culture scientifique |
| Soggetto non controllato | Storia della logica e probabilità |
| ISBN | 2-225-85247-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-990001363680403321 |
Costa, Newton Carneiro Affonso : da <1929- >
|
||
| Paris [etc.] : Masson, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Non-classical logic, model theory and computability : proceedings of the third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A.I. Arruda, N.C.A. da Costa, R. Chuaqui
| Non-classical logic, model theory and computability : proceedings of the third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A.I. Arruda, N.C.A. da Costa, R. Chuaqui |
| Autore | Symposium on mathematical logic : <3. ; : 1976 |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1977 |
| Descrizione fisica | xviii, 307 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-7204-0752-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000954650403321 |
|
Symposium on mathematical logic : <3. ; : 1976
|
||
| Amsterdam [etc.] : North-Holland, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||