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)
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 : Boringhieri, 1993
Descrizione fisica LVIII, 118 p. ; 19 cm.
Altri autori (Persone) Mugnai, Massimo
Collana Serie Scientifica / Boringhieri ; 262
Soggetto topico LOGICA MATEMATICA
ISBN 8833907368
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991001949269707536
Boole, George  
Torino : Boringhieri, 1993
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Fondamenti della matematica / William S. Hatcher
Fondamenti della matematica / William S. Hatcher
Autore HATCHER, William S.
Edizione [Torino : Boringhieri]
Descrizione fisica Tit. orig.: Foundations of Mathematics, 1968
Disciplina 511(Principi generali)
Soggetto topico LOGICA MATEMATICA
MATEMATICA GENERALE
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNIOR-UON00228536
HATCHER, William S.  
Materiale a stampa
Lo trovi qui: Univ. L'Orientale
Opac: Controlla la disponibilità qui
Il continuo : indagine critiche sui fondamenti dell'analisi / Hermann Weyl
Il continuo : indagine critiche sui fondamenti dell'analisi / Hermann Weyl
Autore WEYL, Hermann
Edizione [Napoli : Biliopolis]
Descrizione fisica Tit. orig.: Das Kontinuum. Kritische Untersuchungen uber die Grundlagen der Analysis
Disciplina 511.3(Principi generali. Logica matematica(Logica simbolica))
Soggetto topico LOGICA MATEMATICA
ANALISI MATEMATICA
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNIOR-UON00230067
WEYL, Hermann  
Materiale a stampa
Lo trovi qui: Univ. L'Orientale
Opac: Controlla la disponibilità qui
Il pensiero matematico / Edward Russell Stabler
Il pensiero matematico / Edward Russell Stabler
Autore STABLER, Edward Russell
Edizione [Torino : Boringhieri]
Descrizione fisica Tit. orig.: An introduction to Mathematical Thought
Disciplina 511.3(Principi generali. Logica matematica(Logica simbolica))
Soggetto topico LOGICA MATEMATICA
MATEMATICA ASPETTI FILOSOFICI
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNIOR-UON00230203
STABLER, Edward Russell  
Materiale a stampa
Lo trovi qui: Univ. L'Orientale
Opac: Controlla la disponibilità qui
Introduzione ai "Principia mathematica" / Alfred North Whitehead, Bertrand Russell ; presentazione, traduzione e note di Paolo Parrini
Introduzione ai "Principia mathematica" / Alfred North Whitehead, Bertrand Russell ; presentazione, traduzione e note di Paolo Parrini
Autore WHITEHEAD, Alfred North
Edizione [Firenze : La Nuova Italia]
Descrizione fisica Tit. orig.: Principia Mathematica
Disciplina 511.3(Principi generali. Logica matematica(Logica simbolica))
Altri autori (Persone) RUSSELL, Bertrand
Soggetto topico MATEMATICA
LOGICA MATEMATICA
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNIOR-UON00231289
WHITEHEAD, Alfred North  
Materiale a stampa
Lo trovi qui: Univ. L'Orientale
Opac: Controlla la disponibilità qui
Introduzione alla logica matematica / Elliott Mendelson
Introduzione alla logica matematica / Elliott Mendelson
Autore MENDELSON, Elliott
Edizione [Torino : Boringhieri]
Descrizione fisica Tit. orig.: Introduction to Mathematical Logic, 1964
Disciplina 511.3(Principi generali. Logica matematica(Logica simbolica))
Soggetto topico LOGICA MATEMATICA
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNIOR-UON00228489
MENDELSON, Elliott  
Materiale a stampa
Lo trovi qui: Univ. L'Orientale
Opac: Controlla la disponibilità qui
Introduzione alla teoria degli insiemi / J. Donald Monk
Introduzione alla teoria degli insiemi / J. Donald Monk
Autore MONK, J. Donald
Edizione [Torino : Boringhieri]
Descrizione fisica Tit. orig.: Introduction to Set Theory
Disciplina 511.322(Principî generali. Teoria degl'insiemi)
Soggetto topico LOGICA MATEMATICA
INSIEMI TEORIA
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNIOR-UON00230200
MONK, J. Donald  
Materiale a stampa
Lo trovi qui: Univ. L'Orientale
Opac: Controlla la disponibilità qui
Introduzione alla teoria dei modelli e alla metamatematica dell'algebra / Abraham Robinson
Introduzione alla teoria dei modelli e alla metamatematica dell'algebra / Abraham Robinson
Autore ROBINSON, Abraham
Edizione [Torino : Boringhieri]
Descrizione fisica Tit. orig.: Introduction to Model Theory and to the Metamathematics of Algebra, 1963
Disciplina 511(Principi generali)
Soggetto topico LOGICA MATEMATICA
MATEMATICA GENERALE
ALGEBRA
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNIOR-UON00228490
ROBINSON, Abraham  
Materiale a stampa
Lo trovi qui: Univ. L'Orientale
Opac: Controlla la disponibilità qui
Introduzione alla teoria logica / P. F. Strawson
Introduzione alla teoria logica / P. F. Strawson
Autore STRAWSON, Peter Frederick
Edizione [Torino : Einaudi]
Descrizione fisica Tit. orig.: Introduction to Logical Theory
Disciplina 511.3(Principi generali. Logica matematica(Logica simbolica))
Soggetto topico LOGICA MATEMATICA
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNIOR-UON00228539
STRAWSON, Peter Frederick  
Materiale a stampa
Lo trovi qui: Univ. L'Orientale
Opac: Controlla la disponibilità qui
La macchina e dimostrazioni : matematica, logica e informatica / Gabriele Lolli - Bologna : Il Mulino, 1987 - 155 p. ; 22 cm.
La macchina e dimostrazioni : matematica, logica e informatica / Gabriele Lolli - Bologna : Il Mulino, 1987 - 155 p. ; 22 cm.
Autore LOLLI, Gabriele
Disciplina 511.3(Principi generali. Logica matematica(Logica simbolica))
Soggetto topico LOGICA MATEMATICA
CALCOLO
ISBN 88-15-01256-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNIOR-UON00381211
LOLLI, Gabriele  
Materiale a stampa
Lo trovi qui: Univ. L'Orientale
Opac: Controlla la disponibilità qui