top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Abstract set theory / Thoralf A. Skolem
Abstract set theory / Thoralf A. Skolem
Autore Skolem, Thoralf A.
Pubbl/distr/stampa Indiana : Notre Dame Press, 1962
Descrizione fisica 70 p. ; 23 cm
Disciplina 160
Collana Notre Dame mathematical lectures
Soggetto non controllato Insiemi
Strutture algebriche
Teoria degli insiemi
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990002559060403321
Skolem, Thoralf A.  
Indiana : Notre Dame Press, 1962
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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-b1273455x
Minio-Paluello, Lorenzo  
Roma : Edizioni di storia e letteratura, 1956
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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-b1004419x
Simondo, Piero  
Torino : SEI, 1976
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
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-b10929988
Simondo, Piero  
Torino : Società editrice internazionale, 1976
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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-b10267360
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...