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.
9 lezioni di logica : la logica nel suo sviluppo storico e concettuale / E. Ballo... et al.
| 9 lezioni di logica : la logica nel suo sviluppo storico e concettuale / E. Ballo... et al. |
| Pubbl/distr/stampa | Padova : F. Muzzio, c1990 |
| Descrizione fisica | 194 p ; 21 cm |
| Disciplina | 511.3 |
| Collana | Muzzio scienze |
| Soggetto topico | Logica matematica |
| ISBN | 88-7021-524-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000843070203316 |
| Padova : F. Muzzio, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
9.: Computational logic / edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods
| 9.: Computational logic / edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods |
| Pubbl/distr/stampa | Amsterdam, : North Holland, 2014 |
| Descrizione fisica | Testo elettronico (PDF) (736 p.) |
| Disciplina | 511.3 |
| Soggetto topico | Logica matematica |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996459352903316 |
| Amsterdam, : North Holland, 2014 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A survey of mathematical logic / Wang Hao
| A survey of mathematical logic / Wang Hao |
| Autore | WANG, Hao |
| Pubbl/distr/stampa | Peking, : Science Press, 1962 |
| Descrizione fisica | X, 651 p. ; 25 cm. |
| Disciplina | 511.3 |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990005606480203316 |
WANG, Hao
|
||
| Peking, : Science Press, 1962 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A beginner's guide to mathematical logic / Raymond M. Smullyan
| A beginner's guide to mathematical logic / Raymond M. Smullyan |
| Autore | Smullyan, Raymond M. |
| Pubbl/distr/stampa | Mineola (N.Y.) : Dover, 2014 |
| Descrizione fisica | III, 285 p. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Dover books on mathematics |
| Soggetto topico | Logica matematica |
| ISBN |
0-486-49237-0
978-0-486-49237-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000040271 |
|
Smullyan, Raymond M.
|
||
| Mineola (N.Y.) : Dover, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
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 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 | ||
| ||
A deductive theory of space and time / Saul a. Basri ; L.E.J. Brouwer...[et al.] (Eds.)
| A deductive theory of space and time / Saul a. Basri ; L.E.J. Brouwer...[et al.] (Eds.) |
| Autore | BASRI, Saul A. |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1966 |
| Descrizione fisica | XI, 163 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-990003228640203316 |
|
BASRI, Saul A.
|
||
| Amsterdam : North-Holland, 1966 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A first course in fuzzy logic / Hung T. Nguyen, Elbert A. Walker
| A first course in fuzzy logic / Hung T. Nguyen, Elbert A. Walker |
| Autore | NGUYEN, Hung T. |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Boca Raton : Chapman and Hall/CRC, c2000 |
| Descrizione fisica | 373 p. : ill. ; 25 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | WALKER, Elbert A. |
| Soggetto topico |
Insiemi
Reti neurali Logica matematica |
| ISBN | 0-8493-1659-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000306090203316 |
|
NGUYEN, Hung T.
|
||
| Boca Raton : Chapman and Hall/CRC, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A mathematical introduction to logic / Herbert B. Enderton
| A mathematical introduction to logic / Herbert B. Enderton |
| Autore | Enderton, Herbert B. |
| Pubbl/distr/stampa | San Diego [etc.] : Academic Press, c1972 |
| Descrizione fisica | XIII, 295 p. : ill. ; 24 cm. |
| Disciplina | 511.3 |
| Soggetto topico | Logica matematica |
| ISBN | 0-12-238450-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000011185 |
|
Enderton, Herbert B.
|
||
| San Diego [etc.] : Academic Press, c1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
