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 | ||
|
Fondamenti della matematica / William S. Hatcher |
Autore | HATCHER, William S. |
Edizione | [Torino : Boringhieri, 1973] |
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 |
Record Nr. | UNIOR-UON0228536 |
HATCHER, William S. | ||
Materiale a stampa | ||
Lo trovi qui: Univ. L'Orientale | ||
|
Il continuo : indagine critiche sui fondamenti dell'analisi / Hermann Weyl |
Autore | WEYL, Hermann |
Edizione | [Napoli : Biliopolis, 1977] |
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 |
Record Nr. | UNIOR-UON0230067 |
WEYL, Hermann | ||
Materiale a stampa | ||
Lo trovi qui: Univ. L'Orientale | ||
|
Il pensiero matematico / Edward Russell Stabler |
Autore | STABLER, Edward Russell |
Edizione | [Torino : Boringhieri, 1974] |
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 |
Record Nr. | UNIOR-UON0230203 |
STABLER, Edward Russell | ||
Materiale a stampa | ||
Lo trovi qui: Univ. L'Orientale | ||
|
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, 1977] |
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 |
Record Nr. | UNIOR-UON0231289 |
WHITEHEAD, Alfred North | ||
Materiale a stampa | ||
Lo trovi qui: Univ. L'Orientale | ||
|
Introduzione alla logica matematica / Elliott Mendelson |
Autore | MENDELSON, Elliott |
Edizione | [Torino : Boringhieri, 1972] |
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 |
Record Nr. | UNIOR-UON0228489 |
MENDELSON, Elliott | ||
Materiale a stampa | ||
Lo trovi qui: Univ. L'Orientale | ||
|
Introduzione alla teoria degli insiemi / J. Donald Monk |
Autore | MONK, J. Donald |
Edizione | [Torino : Boringhieri, 1977] |
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 |
Record Nr. | UNIOR-UON0230200 |
MONK, J. Donald | ||
Materiale a stampa | ||
Lo trovi qui: Univ. L'Orientale | ||
|
Introduzione alla teoria dei modelli e alla metamatematica dell'algebra / Abraham Robinson |
Autore | ROBINSON, Abraham |
Edizione | [Torino : Boringhieri, 1974] |
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 |
Record Nr. | UNIOR-UON0228490 |
ROBINSON, Abraham | ||
Materiale a stampa | ||
Lo trovi qui: Univ. L'Orientale | ||
|
Introduzione alla teoria logica / P. F. Strawson |
Autore | STRAWSON, Peter Frederick |
Edizione | [Torino : Einaudi, 1975] |
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 |
Record Nr. | UNIOR-UON0228539 |
STRAWSON, Peter Frederick | ||
Materiale a stampa | ||
Lo trovi qui: Univ. L'Orientale | ||
|
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-UON0381211 |
LOLLI, Gabriele | ||
Materiale a stampa | ||
Lo trovi qui: Univ. L'Orientale | ||
|