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.
A Boole anthology : Recent and classical studies in the logic of George Boole / J. Gasser, editor
| A Boole anthology : Recent and classical studies in the logic of George Boole / J. Gasser, editor |
| Pubbl/distr/stampa | Dordrecht, : Kluwer |
| Descrizione fisica | x, 332 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Synthese Library |
| Soggetto non controllato | Logica simbolica - Congressi |
| ISBN | 0-7923-6380-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001493350403321 |
| Dordrecht, : Kluwer | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A calculus of communicating systems / Robin Milner
| A calculus of communicating systems / Robin Milner |
| Autore | MILNER, Robin |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1980 |
| Descrizione fisica | VI, 171 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Teoria delle macchine
Linguaggi formali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000483000203316 |
MILNER, Robin
|
||
| Berlin : Springer Verlag, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A che serve la matematica / Edna E. Kramer
| A che serve la matematica / Edna E. Kramer |
| Autore | Kramer, Edna E. |
| Pubbl/distr/stampa | Milano : Feltrinelli, 1959 |
| Descrizione fisica | 341 p. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Attualità scientifica |
| Soggetto non controllato | Logica e fondamenti |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990002576280403321 |
|
Kramer, Edna E.
|
||
| Milano : Feltrinelli, 1959 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A compendium of continuous lattices / G. Gierz... [et al.]
| A compendium of continuous lattices / G. Gierz... [et al.] |
| Autore | Gierz, Gerhard |
| Pubbl/distr/stampa | Berlino [etc.] : Springer, c1980 |
| Descrizione fisica | XX, 371 p. : ill. ; 25 cm. |
| Disciplina | 511.3 |
| Soggetto topico |
Logica matematica
Algebra - Teoria dei reticoli |
| ISBN | 3-540-10111-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000011166 |
|
Gierz, Gerhard
|
||
| Berlino [etc.] : Springer, c1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
A computable universe : understanding and exploring nature as computation / foreword by Sir Roger Penrose ; rditor Hector Zenil
| A computable universe : understanding and exploring nature as computation / foreword by Sir Roger Penrose ; rditor Hector Zenil |
| Pubbl/distr/stampa | New Jersey [etc.] : World Scientific, copyr. 2013 |
| Descrizione fisica | XLIV, 810 p. ; 24 cm |
| Disciplina | 511.3 |
| Soggetto topico | Teoria della ricorsività |
| ISBN | 978-981-4374-29-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990006007470203316 |
| New Jersey [etc.] : World Scientific, copyr. 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A concise introduction to mathematical logic / Wolfgang Rautenberg
| A concise introduction to mathematical logic / Wolfgang Rautenberg |
| Autore | Rautenberg, Wolfang |
| Edizione | [3. ed.] |
| Pubbl/distr/stampa | New York : Springer, 2010 |
| Descrizione fisica | XXI, 319 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Universitext |
| Soggetto non controllato |
Logica matematica e fondamenti
Programmazione logica |
| ISBN |
978-1-4419-1220-6
978-1-4419-1221-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009213900403321 |
|
Rautenberg, Wolfang
|
||
| New York : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A concise introduction to mathematical logic / W. Rautenberg
| A concise introduction to mathematical logic / W. Rautenberg |
| Autore | Rautenberg, Wolfgang |
| Edizione | [2nd edit] |
| Pubbl/distr/stampa | New York : Springer, c2006 |
| Descrizione fisica | xvii, 256 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Universitext |
| Soggetto non controllato |
Logica matematica - Fondamenti
Programmazione logica |
| ISBN | 0-387-30294-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008402310403321 |
|
Rautenberg, Wolfgang
|
||
| New York : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A concise introduction to mathematical logic / Wolfgang Rautenberg
| A concise introduction to mathematical logic / Wolfgang Rautenberg |
| Autore | RAUTENBERG, Wolfgang |
| Edizione | [3. ed.] |
| Pubbl/distr/stampa | New York, : Springer |
| Descrizione fisica | XXII, 320 p. |
| Disciplina | 511.3 |
| Collana | Universitext |
| Soggetto topico | Logica matematica |
| ISBN | 978-1-4419-1220-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | und |
| Record Nr. | UNISA-996250344203316 |
|
RAUTENBERG, Wolfgang
|
||
| New York, : Springer | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A course in mathematical logic / by J. L. Bell and M. Machover
| A course in mathematical logic / by J. L. Bell and M. Machover |
| Autore | Bell, John Lane |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1977 |
| Descrizione fisica | XVIII, 599 p. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Machover, Moshé |
| Soggetto topico | Logica matematica |
| ISBN | 0-7204-28440 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000011205 |
|
Bell, John Lane
|
||
| Amsterdam [etc.] : North-Holland, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
A Course in mathematical logic / Yu I Manin
| A Course in mathematical logic / Yu I Manin |
| Autore | MANIN, Yuri I |
| Pubbl/distr/stampa | New York [etc.], : Springer-Verlag, copyr. 1977 |
| Descrizione fisica | XIII, 286 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Graduate texts in mathematics |
| Soggetto topico | Logica matematica |
| ISBN | 0-387-90243-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000112850203316 |
|
MANIN, Yuri I
|
||
| New York [etc.], : Springer-Verlag, copyr. 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
