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)
Abstrakte automaten / Starke Peter H. ; Translated from the german by I. Shepherd
Abstrakte automaten / Starke Peter H. ; Translated from the german by I. Shepherd
Autore STARKE, Peter H.
Pubbl/distr/stampa Berlin : VEB Deutscher Verlag, 1969
Descrizione fisica 392 p. : Mit 23 abbildungen ; 23 cm
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNISA-990003226790203316
STARKE, Peter H.  
Berlin : VEB Deutscher Verlag, 1969
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Addio Cartesio : la fine della logica e la ricerca di una nuova cosmologia della mente / Keith Devlin
Addio Cartesio : la fine della logica e la ricerca di una nuova cosmologia della mente / Keith Devlin
Autore DEVLIN, Keith
Edizione [Torino : Bollati Boringhieri]
Descrizione fisica Trad. di: Goodbye, Descartes.
Disciplina 153
Collana Saggi. Scienze
Soggetto topico Logica matematica
Mente
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990005618570203316
DEVLIN, Keith  
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Afunctional approach to syntax : In generative description of language / Petr Sgall...[et al.] (Eds.)
Afunctional approach to syntax : In generative description of language / Petr Sgall...[et al.] (Eds.)
Pubbl/distr/stampa New York : American Elsevier Publ. Co., 1969
Descrizione fisica VIII, 122 p. : ill. ; 23 cm
Disciplina 511.3
Collana Mathematical linguistics and automatic language processing
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003222260203316
New York : American Elsevier Publ. Co., 1969
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebraic complexity theory / Peter Burgisser, Michael Clausen, M. Amin Shokrollahi ; with the collaboration of Thomas Lickteig
Algebraic complexity theory / Peter Burgisser, Michael Clausen, M. Amin Shokrollahi ; with the collaboration of Thomas Lickteig
Autore Burgisser, Peter
Pubbl/distr/stampa Berlin [etc.] : Springer, c1997
Descrizione fisica XXIII, 618 p. : ill. ; 25 cm.
Disciplina 511.3
Altri autori (Persone) Clausen, Michael
Shokrollahi, M. Amin
Collana Grundlehren der mathematischen Wissenschaften
Soggetto topico Logica matematica
ISBN 3-540-60582-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000015558
Burgisser, Peter  
Berlin [etc.] : Springer, c1997
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Algebraic methods of mathematical logic / Rieger Ladislav ; Translated by Michal Basch
Algebraic methods of mathematical logic / Rieger Ladislav ; Translated by Michal Basch
Autore RIEGER, Ladislav
Pubbl/distr/stampa Prague : Academia, 1967
Descrizione fisica 210 p. ; 24 cm
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003226320203316
RIEGER, Ladislav  
Prague : Academia, 1967
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algoritmi e macchine calcolatrici automatiche / Trakhtenbrot B.A. ; Traduzione italiana di Corrado Mangione
Algoritmi e macchine calcolatrici automatiche / Trakhtenbrot B.A. ; Traduzione italiana di Corrado Mangione
Autore TRAKHTENBROT, B.A.
Pubbl/distr/stampa Milano : Progresso tecnico editoriale, 1970
Descrizione fisica 132 p. : ill. ; 19 cm
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990003227790203316
TRAKHTENBROT, B.A.  
Milano : Progresso tecnico editoriale, 1970
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Alle origini della nuova logica : carteggio scientifico con Hilbert, Husserl, Peano, Russell, Vailati e altri. / Gottlob Frege ; [Trad. di Anna Maria Obwexer] ; a cura di G. Gabriel ... [et al.] ; ed. it. a cura di Corrado Mangione
Alle origini della nuova logica : carteggio scientifico con Hilbert, Husserl, Peano, Russell, Vailati e altri. / Gottlob Frege ; [Trad. di Anna Maria Obwexer] ; a cura di G. Gabriel ... [et al.] ; ed. it. a cura di Corrado Mangione
Autore Frege, Gottlob
Pubbl/distr/stampa Torino : Boringhieri, c1983
Descrizione fisica XXVI, 288 p., [1] c. di tav. : 1 ritr. ; 23 cm.
Disciplina 511.3
Collana Lectio
Soggetto topico Logica matematica
Frege, Gottlob - Lettere e carteggi
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNIBAS-000009365
Frege, Gottlob  
Torino : Boringhieri, c1983
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
An introduction to logic and scientific method / by Morris R. Cohen and Ernest Nagel
An introduction to logic and scientific method / by Morris R. Cohen and Ernest Nagel
Autore COHEN, Morris R.
Pubbl/distr/stampa London : Routledge & Kegan, 1963
Descrizione fisica XIV, 467 p. ; 22 cm.
Disciplina 160
Altri autori (Persone) NAGEL, Ernest
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990005598370203316
COHEN, Morris R.  
London : Routledge & Kegan, 1963
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities / by George Boole
An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities / by George Boole
Autore BOOLE, George
Pubbl/distr/stampa New York : Dover Pubblications, [1951]
Descrizione fisica 424 p. ; 21 cm.
Disciplina 511.3
Collana Dover Books on advanced Mathematics
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990005597540203316
BOOLE, George  
New York : Dover Pubblications, [1951]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
An algebraic approach to non-classical logics / Helena Rasiowa
An algebraic approach to non-classical logics / Helena Rasiowa
Autore RASIOWA, Helena
Pubbl/distr/stampa Amsterdam : North-Holland, 1974
Descrizione fisica VIII, 117 p. : ill. ; 23 cm
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics
Soggetto topico Logica matematica
ISBN 0-7204-2264-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003229460203316
RASIOWA, Helena  
Amsterdam : North-Holland, 1974
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui