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.
I principi della matematica / Bertrand Russell ; traduzione di Ludovico Geymonat
I principi della matematica / Bertrand Russell ; traduzione di Ludovico Geymonat
Autore Russell, Bertrand <1872-1970>
Edizione [3. ed.]
Pubbl/distr/stampa Milano : Longanesi, c1963
Descrizione fisica 728 p. ; 22 cm
Disciplina 510.1
Collana Il labirinto
Soggetto non controllato Matematica
Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990004099770403321
Russell, Bertrand <1872-1970>  
Milano : Longanesi, c1963
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Il pensiero matematico / Edward Russell Stabler
Il pensiero matematico / Edward Russell Stabler
Autore Stabler, Edward Russell
Pubbl/distr/stampa Torino : Boringhieri, 1970
Descrizione fisica 348 p. ; 20 cm
Disciplina 510.1
511.3
Collana Universale scientifica
Soggetto non controllato Logica matematica
MatematicaAspetti filosofici
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNIPARTHENOPE-000022543
Stabler, Edward Russell  
Torino : Boringhieri, 1970
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
Indagine sulle leggi del pensiero : su cui sono fondate le teorie matematiche della logica e della probabilità / George Boole
Indagine sulle leggi del pensiero : su cui sono fondate le teorie matematiche della logica e della probabilità / George Boole
Autore Boole, George
Edizione [Edizione italiana]
Pubbl/distr/stampa Torino : Einaudi, 1976
Descrizione fisica CXXVI, 585 p. ; 19 cm
Disciplina 511.3
Collana Nuova universale Einaudi, Nuova serie
Soggetto non controllato Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990006124430403321
Boole, George  
Torino : Einaudi, 1976
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Inexhaustibility : a non-exhaustive treatment / Torkel Franzen
Inexhaustibility : a non-exhaustive treatment / Torkel Franzen
Autore Franzen, Torkel
Pubbl/distr/stampa Boca Raton (Fl.) : CRC Press, @2004
Descrizione fisica xii, 251 p. ; 23 cm
Disciplina 511.3
Collana Lecture notes in Logic
Soggetto non controllato Logica matematica
Logica simbolica
Teorema di incompletezza
ISBN 978-156881175-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990010091940403321
Franzen, Torkel
Boca Raton (Fl.) : CRC Press, @2004
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Internal logic : Foundations of mathematics from Kronecker to hilbert / Y. Gauthier
Internal logic : Foundations of mathematics from Kronecker to hilbert / Y. Gauthier
Autore Gauthier, Yvon
Pubbl/distr/stampa Dordrecht : Kluwer, c2002
Descrizione fisica x, 237 p. ; 24 cm
Disciplina 110
Collana Synthese Library
Soggetto non controllato Logica matematica
Filosofia
ISBN 1-4020-0689-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990008331170403321
Gauthier, Yvon  
Dordrecht : Kluwer, c2002
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Introduction to the theory of computation / Michael Sipser
Introduction to the theory of computation / Michael Sipser
Autore Sipser, Michael
Pubbl/distr/stampa Boston (Mass.) : PWS, c1997
Descrizione fisica xv, 396 p. : ill. ; 24 cm
Disciplina 511.3
Soggetto non controllato Teoria computazionale
Teoria delle macchine
Complessità computazionale
Logica matematica
ISBN 0-534-94728-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001491800403321
Sipser, Michael  
Boston (Mass.) : PWS, c1997
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Introduzione ai problemi dell'assiomatica / Evandro Agazzi
Introduzione ai problemi dell'assiomatica / Evandro Agazzi
Autore Agazzi, Evandro <1934- >
Pubbl/distr/stampa Milano : Vita e pensiero, c1961
Descrizione fisica XVI, 266 p. ; 24 cm
Disciplina 164
Collana Pubblicazioni dell'Università cattolica del Sacro Cuore. Ser. 1., Scienze filosofiche
Soggetto non controllato Logica matematica
Logica simbolica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990004096930403321
Agazzi, Evandro <1934- >  
Milano : Vita e pensiero, c1961
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Introduzione alla filosofia matematica / di Bertrand Russell
Introduzione alla filosofia matematica / di Bertrand Russell
Autore Russell, Bertrand
Pubbl/distr/stampa Milano : Longanesi & C., 1947
Descrizione fisica 265 p. ; 20 cm
Disciplina 510.02
Collana Il labirinto
Soggetto non controllato Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNIPARTHENOPE-000012111
Russell, Bertrand  
Milano : Longanesi & C., 1947
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
Introduzione alla logica / Carlo Cellucci ... [et al.] ; a cura del Cidi
Introduzione alla logica / Carlo Cellucci ... [et al.] ; a cura del Cidi
Autore Cellucci, Carlo <1940- >
Pubbl/distr/stampa Roma : editori riuniti, 1976
Descrizione fisica 235 p : ill. ; 19 cm
Disciplina 511.3
Collana Paideia
Soggetto non controllato Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990001498270403321
Cellucci, Carlo <1940- >  
Roma : editori riuniti, 1976
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Introduzione alla logica e al linguaggio matematico / Giorgio T. Bagni, Daniele Gorla, Anna Labella
Introduzione alla logica e al linguaggio matematico / Giorgio T. Bagni, Daniele Gorla, Anna Labella
Autore Bagni, Giorgio T.
Pubbl/distr/stampa Milano : McGraw-Hill, 2010
Descrizione fisica xii, 195 p : ill. ; 25 cm
Disciplina 511.3
Altri autori (Persone) Gorla, Daniele
Labella, Anna
Collana collana di istruzione scientifica, serie di matematica
Soggetto non controllato Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-9910257259803321
Bagni, Giorgio T.  
Milano : McGraw-Hill, 2010
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui