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.
Intuitionism : an intoduction / A. Heyting
| Intuitionism : an intoduction / A. Heyting |
| Autore | Heyting, Arend |
| Pubbl/distr/stampa | Amsterdam : North-Holland publishing company, 1956 |
| Descrizione fisica | VIII, 132 p. ; 22 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica matematica
Intuizione matematica |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000012460403321 |
Heyting, Arend
|
||
| Amsterdam : North-Holland publishing company, 1956 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Invariant descriptive set theory / Su Gao
| Invariant descriptive set theory / Su Gao |
| Autore | Gao, Su |
| Pubbl/distr/stampa | Boca Raton : Chapman & Hall, c2008 |
| Descrizione fisica | xiv, 383 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Monographs and textbooks in pure and applied mathematics |
| Soggetto non controllato |
Logica matematica
Invarianti |
| ISBN | 978-1-58488-793-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008793390403321 |
|
Gao, Su
|
||
| Boca Raton : Chapman & Hall, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
L'alfabeto del pensiero / Gottlob Frege ; introduzione di Nicla Vassallo ; traduzione di Nicola Zippel
| L'alfabeto del pensiero / Gottlob Frege ; introduzione di Nicla Vassallo ; traduzione di Nicola Zippel |
| Autore | Frege, Gottlob |
| Pubbl/distr/stampa | Roma, : Castelvecchi, 2015 |
| Descrizione fisica | 87 p. ; 21 cm |
| Disciplina | 511.3 |
| Collana | Eliche |
| Soggetto non controllato |
Logica matematica
Epistemologia |
| ISBN | 978-88-6944-421-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-9910429260503321 |
|
Frege, Gottlob
|
||
| Roma, : Castelvecchi, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
L'arte del problem posing / Stephen I. Brown, Marion I. Walter
| L'arte del problem posing / Stephen I. Brown, Marion I. Walter |
| Autore | Brown, Stephen I. <1938-> |
| Pubbl/distr/stampa | Torino : Società Editrice Internazionale, c1988 |
| Descrizione fisica | 207 p. : ill. ; 19 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Walter, Marion I. |
| Collana | Scuola viva |
| Soggetto non controllato |
Logica simbolica
Logica matematica |
| ISBN | 88-05-03994-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990008880470403321 |
|
Brown, Stephen I. <1938->
|
||
| Torino : Società Editrice Internazionale, c1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
La logica dei topos / Dana I. Schlomiuk ; introduzione di Wilma Di Palma
| La logica dei topos / Dana I. Schlomiuk ; introduzione di Wilma Di Palma |
| Autore | Schlomiuk, Dana I. |
| Pubbl/distr/stampa | Roma, : La Goliardica, 1982 |
| Descrizione fisica | 135 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Studi di logica |
| Soggetto non controllato |
Logica matematica
Topologia |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-9910725399903321 |
|
Schlomiuk, Dana I.
|
||
| Roma, : La Goliardica, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
La prova di Gödel / Ernest Nagel e James R. Newman
| La prova di Gödel / Ernest Nagel e James R. Newman |
| Autore | Nagel, Ernest <matematico ; <1901-1985 |
| Pubbl/distr/stampa | Torino, : Boringhieri, 1961 |
| Descrizione fisica | 110 p. ; 22 cm |
| Disciplina |
511.32
519 |
| Altri autori (Persone) | Newman, James R. |
| Collana | Biblioteca di cultura scientifica, Nuova serie |
| Soggetto non controllato |
Logica matematica
Fondamenti della logica matematica e probabilità |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990004123640403321 |
|
Nagel, Ernest <matematico ; <1901-1985
|
||
| Torino, : Boringhieri, 1961 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lattice-gas cellular automata and lattice boltzmann models : an introduction / Dieter A. Wolf-Gladrow
| Lattice-gas cellular automata and lattice boltzmann models : an introduction / Dieter A. Wolf-Gladrow |
| Autore | Wolf-Gladrow, Dieter A. |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2000 |
| Descrizione fisica | IX, 308 p. : ill. ; 25 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto non controllato | Logica matematica |
| ISBN | 3-540-66973-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000215010203316 |
| Wolf-Gladrow, Dieter A. | ||
| Berlin [etc.] : Springer-Verlag, copyr. 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Lattice-gas cellular automata and lattice boltzmann models : an introduction / Dieter A. Wolf-Gladrow
| Lattice-gas cellular automata and lattice boltzmann models : an introduction / Dieter A. Wolf-Gladrow |
| Autore | WOLF-GLADROW, Dieter A. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, c2000 |
| Descrizione fisica | IX, 308 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto non controllato | Logica matematica |
| ISBN | 3-540-66973-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000335110203316 |
|
WOLF-GLADROW, Dieter A.
|
||
| Berlin : Springer-Verlag, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Lectures on mathematical logic / Walter Felscher
| Lectures on mathematical logic / Walter Felscher |
| Autore | Felscher, Walter |
| Pubbl/distr/stampa | Amsterdam : Gordon and Breach Science Publisher, c2000 |
| Descrizione fisica | 3 v. : ill. ; 28 cm |
| Disciplina | 511.3 |
| Soggetto non controllato |
Logica matematica
Logica simbolica |
| ISBN |
90-5699-266-X
90-5699-267-8 90-5699-268-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1.: Set theoretical logic - The algebra of models 2.: Calculi for derivations and deductions 3.: The logic of arithmetic |
| Record Nr. | UNINA-990008034310403321 |
|
Felscher, Walter
|
||
| Amsterdam : Gordon and Breach Science Publisher, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lectures on the Curry-Howard isomorphism / M.H. Sorensen, P. Urzyczyn
| Lectures on the Curry-Howard isomorphism / M.H. Sorensen, P. Urzyczyn |
| Autore | Sørensen, Morten Heine |
| Pubbl/distr/stampa | Amsterdam : Elsevier, c2006 |
| Descrizione fisica | xiv, 442 p. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Urzyczyn, Pawel |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato | Logica matematica |
| ISBN | 0-444-52077-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008452900403321 |
|
Sørensen, Morten Heine
|
||
| Amsterdam : Elsevier, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
