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.
Adam Balsamiensis Parvipontani Ars disserendi (Dialectica Alexandri)
| Adam Balsamiensis Parvipontani Ars disserendi (Dialectica Alexandri) |
| Autore | Minio-Paluello, Lorenzo |
| Pubbl/distr/stampa | Roma : Edizioni di storia e letteratura, 1956 |
| Descrizione fisica | XXXVII, 155 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Twelfth century logic ; 1 |
| Soggetto topico | Logica |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | lat |
| Record Nr. | UNISALENTO-991001203179707536 |
Minio-Paluello, Lorenzo
|
||
| Roma : Edizioni di storia e letteratura, 1956 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Advanced logic for applications / Richard E. Grandy
| Advanced logic for applications / Richard E. Grandy |
| Autore | Grandy, Richard E. |
| Pubbl/distr/stampa | Boston [etc.] : Reidel, 1977 |
| Descrizione fisica | xi, 168 p. ; 21 cm |
| Disciplina | 160 |
| Collana | Synthese Library |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 90-277-0781-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001263410403321 |
|
Grandy, Richard E.
|
||
| Boston [etc.] : Reidel, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in modal logic / edited by Marcus Kracht ... [et al.]
| Advances in modal logic / edited by Marcus Kracht ... [et al.] |
| Pubbl/distr/stampa | Stanford : CSLI Publications, 1998 |
| Descrizione fisica | XVI, 392 p. ; 23 cm |
| Disciplina | 160 |
| Collana | CSLI lecture notes |
| Soggetto non controllato | Logica |
| ISBN | 1-57586-102-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990006912170403321 |
| Stanford : CSLI Publications, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
L'alba della logica : il pensiero logico greco : testi e interpretazioni / a cura di Piero Simondo
| L'alba della logica : il pensiero logico greco : testi e interpretazioni / a cura di Piero Simondo |
| Autore | Simondo, Piero |
| Pubbl/distr/stampa | Torino : SEI, 1976 |
| Descrizione fisica | 279 p. ; 19 cm. |
| Disciplina | 160 |
| Collana | I libri dei filosofi |
| Soggetto topico | Logica - Grecia antica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000200529707536 |
|
Simondo, Piero
|
||
| Torino : SEI, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
L'alba della logica : il pensiero logico greco : testi e interpretazioni / a cura di Piero Simondo
| L'alba della logica : il pensiero logico greco : testi e interpretazioni / a cura di Piero Simondo |
| Autore | Simondo, Piero |
| Pubbl/distr/stampa | Torino : Società editrice internazionale, 1976 |
| Descrizione fisica | 279 p. ; 19 cm |
| Disciplina | 160 |
| Collana | I libri dei filosofi |
| Soggetto topico | Logica - Grecia antica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001902569707536 |
|
Simondo, Piero
|
||
| Torino : Società editrice internazionale, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Alcune tendenze della logica contemporanea / Carlo Pane
| Alcune tendenze della logica contemporanea / Carlo Pane |
| Autore | Pane, Carlo |
| Pubbl/distr/stampa | Catanzaro : Stab.Tip. Gaetano Silipo & C., 1909 |
| Descrizione fisica | 80 p. ; 25 cm |
| Disciplina | 160 |
| Soggetto non controllato | Logica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990005646260403321 |
|
Pane, Carlo
|
||
| Catanzaro : Stab.Tip. Gaetano Silipo & C., 1909 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society Monash University, Australia / edited by J.N. Crossley
| Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society Monash University, Australia / edited by J.N. Crossley |
| Autore | Australian Mathematical Society |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1975 |
| Descrizione fisica | VIII, 307 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Lecture notes in mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 3-540-07152-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000979730403321 |
|
Australian Mathematical Society
|
||
| Berlin [etc.] : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
L'algebra della logica
| L'algebra della logica |
| Descrizione fisica | 208 p. |
| Disciplina | 160 |
| Collana |
Biblioteca di filosofia ; 11.2
Logica formale e logica trascendentale ; 2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | || |
| Record Nr. | UNISALENTO-991001749079707536 |
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
|
Algebra of proofs / M.E. Szabo
| Algebra of proofs / M.E. Szabo |
| Autore | Szabo, Manfred Egon |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1978 |
| Descrizione fisica | xii, 297 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-7204-2286-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001068000403321 |
|
Szabo, Manfred Egon
|
||
| Amsterdam : North-Holland, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic logic / by Paul R. Halmos
| Algebraic logic / by Paul R. Halmos |
| Autore | Halmos, Paul Richard |
| Pubbl/distr/stampa | New York : Chelsea, 1962 |
| Descrizione fisica | 271 p. ; 24 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001002060403321 |
|
Halmos, Paul Richard
|
||
| New York : Chelsea, 1962 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
