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.

Biblioteca

MARC Lista (tabellare)
An introduction to many valued logics / Ackermann Robert
An introduction to many valued logics / Ackermann Robert
Autore ACKERMANN, Robert
Pubbl/distr/stampa London : Routledge & Kegan, 1967
Descrizione fisica V, 90 p. ; 18 cm
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003219310203316
ACKERMANN, Robert  
London : Routledge & Kegan, 1967
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
An introduction to mathematical logic and type theory : to truth through proof
An introduction to mathematical logic and type theory : to truth through proof
Autore ANDREWS, Peter B.
Pubbl/distr/stampa Orlando : Academic Press, 1986
Disciplina 511.3
Soggetto topico Logica matematica
Logica simbolica
ISBN 0-12-058535-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990001210970203316
ANDREWS, Peter B.  
Orlando : Academic Press, 1986
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Analisi matematica della logica : saggio di un calcolo del ragionamento deduttivo / George Boole ; introduzione e traduzione di Mario Trinchero
Analisi matematica della logica : saggio di un calcolo del ragionamento deduttivo / George Boole ; introduzione e traduzione di Mario Trinchero
Autore BOOLE, George
Pubbl/distr/stampa Milano : Silva, 1965
Descrizione fisica 217 p. ; 17 cm
Disciplina 511.3
Collana Le Situazioni
Classici minimi Silva
Soggetto topico Logica matematica
Ragionamento - Deduzione
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990005597410203316
BOOLE, George  
Milano : Silva, 1965
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
L'analisi matematica della logica : seguita da "Il calcolo logico" / George Boole ; introduzione di Massimo Mugnai
L'analisi matematica della logica : seguita da "Il calcolo logico" / George Boole ; introduzione di Massimo Mugnai
Autore Boole, George
Pubbl/distr/stampa Torino : Bollati Boringhieri, 1993
Descrizione fisica LVIII, 118 p. ; 19 cm.
Altri autori (Persone) Mugnai, Massimo
Collana Serie scientifica ; 262
Soggetto topico Logica matematica
ISBN 8833907368
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991001949219707536
Boole, George  
Torino : Bollati Boringhieri, 1993
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Ancient formal logic / I.M. Bochenski ; L.E.J. Brouwer...[et al.] (Eds.)
Ancient formal logic / I.M. Bochenski ; L.E.J. Brouwer...[et al.] (Eds.)
Autore BOCKENSKI, I.M.
Pubbl/distr/stampa Amsterdam : North-Holland, 1968
Descrizione fisica VI, 122 p. : ill. ; 23 cm
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003228660203316
BOCKENSKI, I.M.  
Amsterdam : North-Holland, 1968
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Anintroduction to mathematical machine theory / Ginsburg Seymour
Anintroduction to mathematical machine theory / Ginsburg Seymour
Autore GINSBURG, Seymour
Pubbl/distr/stampa Reading : Addison-Wesley, 1962
Descrizione fisica IX, 148 p. : ill. ; 23 cm
Disciplina 511.3
Collana Addison-Wesley series in computer science and information processing
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003222640203316
GINSBURG, Seymour  
Reading : Addison-Wesley, 1962
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Anintroduction to modal logic : G.E. Hughes and M.J. Cresswell / Hughes G.E.
Anintroduction to modal logic : G.E. Hughes and M.J. Cresswell / Hughes G.E.
Autore HUGHES, G.E.
Pubbl/distr/stampa London : Methuen and Co., 1968
Descrizione fisica XI, 388 p. ; 22 cm
Disciplina 511.3
Altri autori (Persone) CRESSWELL, M.J.
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003223600203316
HUGHES, G.E.  
London : Methuen and Co., 1968
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Applied automata theory : Edited by Julius T. You
Applied automata theory : Edited by Julius T. You
Pubbl/distr/stampa New York : Academic Press, 1968
Descrizione fisica IX, 330 p. : ill. ; 23 cm
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003219980203316
New York : Academic Press, 1968
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Appunti di logica e algebra con esercizi / Alessandra Cherubini...[et al.]
Appunti di logica e algebra con esercizi / Alessandra Cherubini...[et al.]
Pubbl/distr/stampa Santarcangelo di Romagna, : Maggioli, copyr. 2014
Descrizione fisica VII, 270 p. ; 24 cm
Disciplina 511.3
Collana Università
Soggetto topico Algebra - Esercizi
Logica matematica
ISBN 978-88-916-0076-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990006186120203316
Santarcangelo di Romagna, : Maggioli, copyr. 2014
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Aprogrammer's introduction to computability and formal languages / Kurki-Suonio Reino
Aprogrammer's introduction to computability and formal languages / Kurki-Suonio Reino
Autore KURKI-SUONIO, Reino
Pubbl/distr/stampa Princeton : Auerbach, 1971
Descrizione fisica 140 p. : ill. ; 22 cm
Disciplina 511.3
Collana Studentlitteratur
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003224130203316
KURKI-SUONIO, Reino  
Princeton : Auerbach, 1971
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui