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.
The Number of Things / Evans G. Valens.
| The Number of Things / Evans G. Valens. |
| Autore | Valens, Evans G. |
| Pubbl/distr/stampa | London : Methuen, 1965 |
| Descrizione fisica | 189 p. ; 24 cm |
| Disciplina | 511.3 |
| Soggetto non controllato | Logica e fondamenti |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002560360403321 |
Valens, Evans G.
|
||
| London : Methuen, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The paradoxes / Teensma E.
| The paradoxes / Teensma E. |
| Autore | TEENSMA, E. |
| Pubbl/distr/stampa | Assen : Royal Van Gorcum, 1969 |
| Descrizione fisica | 44 p. ; 23 cm |
| Disciplina | 511.3 |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003227120203316 |
|
TEENSMA, E.
|
||
| Assen : Royal Van Gorcum, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The pillars of computation theory : state, encoding, nondeterminism / Arnold L. Rosenberg
| The pillars of computation theory : state, encoding, nondeterminism / Arnold L. Rosenberg |
| Autore | Rosenberg, Arnold L. |
| Pubbl/distr/stampa | New York : Springer, c2010 |
| Descrizione fisica | XVII, 324 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Universitext |
| Soggetto non controllato |
Scienza del computer
Modelli di computazione Automi e grammatiche formali in connessione con questioni di logica |
| ISBN | 978-0-387-09638-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009131710403321 |
|
Rosenberg, Arnold L.
|
||
| New York : Springer, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The principles of mathematics revisited / Jaakko Hintikka
| The principles of mathematics revisited / Jaakko Hintikka |
| Autore | HINTIKKA, Jaakko |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, copyr.1996 |
| Descrizione fisica | XII, 288 p. ; 22 cm |
| Disciplina | 511.3 |
| Soggetto topico | Logica matematica |
| ISBN | 0-521-62498-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000084370203316 |
|
HINTIKKA, Jaakko
|
||
| Cambridge : Cambridge University Press, copyr.1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The problem of inductive logic : proceedings of the International Colloquium in the Philosophy of Science, London, 1965 (volume 2) / edited by Imre Lakatos ; A. Heyting...[et al.] (Eds.)
| The problem of inductive logic : proceedings of the International Colloquium in the Philosophy of Science, London, 1965 (volume 2) / edited by Imre Lakatos ; A. Heyting...[et al.] (Eds.) |
| Autore | International colloquium in the philosophy of science : <1965; : London> |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1965 |
| Descrizione fisica | VIII, 417 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003229130203316 |
|
International colloquium in the philosophy of science : <1965; : London>
|
||
| Amsterdam : North-Holland, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The propositional logic of Boethius / Karl Dürr
| The propositional logic of Boethius / Karl Dürr |
| Autore | Dürr, Karl |
| Pubbl/distr/stampa | Amsterdam : North-Holland publishing company, 1951 |
| Descrizione fisica | X, 79 p. ; 22 cm |
| Disciplina |
511.3
160 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Boezio Severino - Logica
Logica Storia della logica e probabilità Filosofia Storia della filosofia Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000007800403321 |
| Dürr, Karl | ||
| Amsterdam : North-Holland publishing company, 1951 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Psychology of Invention in the Matheamtical Field / Jacques Hadamard
| The Psychology of Invention in the Matheamtical Field / Jacques Hadamard |
| Autore | Hadamard, Jacques |
| Pubbl/distr/stampa | Princeton : Princeton University Press, 1949 |
| Descrizione fisica | 145 p. ; 22 cm |
| Disciplina | 511.3 |
| Soggetto non controllato | Logica e fondamenti |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002560580403321 |
|
Hadamard, Jacques
|
||
| Princeton : Princeton University Press, 1949 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The seventeen provers of the world / Freek Wiedijk (Ed.), foreword by Dana S. Scott
| The seventeen provers of the world / Freek Wiedijk (Ed.), foreword by Dana S. Scott |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2006 |
| Descrizione fisica | XVI, 157 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana |
Lecture notes in artificial intelligence, Al Systems
Lecture notes in computer science |
| Soggetto topico | elaborazione dati - logica matematica |
| ISBN | 3-540-30704-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003067340203316 |
| Berlin [etc.] : Springer, copyr. 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Souslin problem / Keith J. Devlin, Havard Johnsbraten
| The Souslin problem / Keith J. Devlin, Havard Johnsbraten |
| Autore | Devlin, Keith J |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1974 |
| Descrizione fisica | VIII, 132 p. ; 25 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Johnsbraten, Havard |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Insiemi - Teoria |
| ISBN | 3-540-06860-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000013437 |
|
Devlin, Keith J
|
||
| Berlin [etc.] : Springer, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
The stationary tower : Notes on a course by W.Hugh Woodin / Paul B. Larson
| The stationary tower : Notes on a course by W.Hugh Woodin / Paul B. Larson |
| Autore | Larson, Paul B. |
| Pubbl/distr/stampa | Providence : American mathematical society, c2004 |
| Descrizione fisica | ix,132 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | University lecture series |
| Soggetto non controllato |
Teoria dei modelli
Teoria degli insiemi |
| ISBN | 0-8218-3604-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990007976810403321 |
|
Larson, Paul B.
|
||
| Providence : American mathematical society, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
