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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|