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)
9 lezioni di logica : la logica nel suo sviluppo storico e concettuale / E. Ballo... et al.
9 lezioni di logica : la logica nel suo sviluppo storico e concettuale / E. Ballo... et al.
Pubbl/distr/stampa Padova : F. Muzzio, c1990
Descrizione fisica 194 p ; 21 cm
Disciplina 511.3
Collana Muzzio scienze
Soggetto topico Logica matematica
ISBN 88-7021-524-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990000843070203316
Padova : F. Muzzio, c1990
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
9.: Computational logic / edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods
9.: Computational logic / edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods
Pubbl/distr/stampa Amsterdam, : North Holland, 2014
Descrizione fisica Testo elettronico (PDF) (736 p.)
Disciplina 511.3
Soggetto topico Logica matematica
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996459352903316
Amsterdam, : North Holland, 2014
Risorse elettroniche
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
A survey of mathematical logic / Wang Hao
A survey of mathematical logic / Wang Hao
Autore WANG, Hao
Pubbl/distr/stampa Peking, : Science Press, 1962
Descrizione fisica X, 651 p. ; 25 cm.
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990005606480203316
WANG, Hao  
Peking, : Science Press, 1962
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
A beginner's guide to mathematical logic / Raymond M. Smullyan
A beginner's guide to mathematical logic / Raymond M. Smullyan
Autore Smullyan, Raymond M.
Pubbl/distr/stampa Mineola (N.Y.) : Dover, 2014
Descrizione fisica III, 285 p. ; 24 cm.
Disciplina 511.3
Collana Dover books on mathematics
Soggetto topico Logica matematica
ISBN 0-486-49237-0
978-0-486-49237-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000040271
Smullyan, Raymond M.  
Mineola (N.Y.) : Dover, 2014
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
A compendium of continuous lattices / G. Gierz... [et al.]
A compendium of continuous lattices / G. Gierz... [et al.]
Autore Gierz, Gerhard
Pubbl/distr/stampa Berlino [etc.] : Springer, c1980
Descrizione fisica XX, 371 p. : ill. ; 25 cm.
Disciplina 511.3
Soggetto topico Logica matematica
Algebra - Teoria dei reticoli
ISBN 3-540-10111-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000011166
Gierz, Gerhard  
Berlino [etc.] : Springer, c1980
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
A concise introduction to mathematical logic / Wolfgang Rautenberg
A concise introduction to mathematical logic / Wolfgang Rautenberg
Autore RAUTENBERG, Wolfgang
Edizione [3. ed.]
Pubbl/distr/stampa New York, : Springer
Descrizione fisica XXII, 320 p.
Disciplina 511.3
Collana Universitext
Soggetto topico Logica matematica
ISBN 978-1-4419-1220-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione und
Record Nr. UNISA-996250344203316
RAUTENBERG, Wolfgang  
New York, : Springer
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
A course in mathematical logic / by J. L. Bell and M. Machover
A course in mathematical logic / by J. L. Bell and M. Machover
Autore Bell, John Lane
Pubbl/distr/stampa Amsterdam [etc.] : North-Holland, 1977
Descrizione fisica XVIII, 599 p. ; 23 cm.
Disciplina 511.3
Altri autori (Persone) Machover, Moshé
Soggetto topico Logica matematica
ISBN 0-7204-28440
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000011205
Bell, John Lane  
Amsterdam [etc.] : North-Holland, 1977
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
A Course in mathematical logic / Yu I Manin
A Course in mathematical logic / Yu I Manin
Autore MANIN, Yuri I
Pubbl/distr/stampa New York [etc.], : Springer-Verlag, copyr. 1977
Descrizione fisica XIII, 286 p. : ill. ; 24 cm
Disciplina 511.3
Collana Graduate texts in mathematics
Soggetto topico Logica matematica
ISBN 0-387-90243-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000112850203316
MANIN, Yuri I  
New York [etc.], : Springer-Verlag, copyr. 1977
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
A deductive theory of space and time / Saul a. Basri ; L.E.J. Brouwer...[et al.] (Eds.)
A deductive theory of space and time / Saul a. Basri ; L.E.J. Brouwer...[et al.] (Eds.)
Autore BASRI, Saul A.
Pubbl/distr/stampa Amsterdam : North-Holland, 1966
Descrizione fisica XI, 163 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-990003228640203316
BASRI, Saul A.  
Amsterdam : North-Holland, 1966
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
A first course in fuzzy logic / Hung T. Nguyen, Elbert A. Walker
A first course in fuzzy logic / Hung T. Nguyen, Elbert A. Walker
Autore NGUYEN, Hung T.
Edizione [2nd ed.]
Pubbl/distr/stampa Boca Raton : Chapman and Hall/CRC, c2000
Descrizione fisica 373 p. : ill. ; 25 cm
Disciplina 511.3
Altri autori (Persone) WALKER, Elbert A.
Soggetto topico Insiemi
Reti neurali
Logica matematica
ISBN 0-8493-1659-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000306090203316
NGUYEN, Hung T.  
Boca Raton : Chapman and Hall/CRC, c2000
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui