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 primer of probability logic / Ernest W. Adams
| A primer of probability logic / Ernest W. Adams |
| Autore | ADAMS, Ernest W. |
| Pubbl/distr/stampa | Stanford (Calif.) : CSLI, copyr. 1998 |
| Descrizione fisica | XIV, 376 p. ; 23 cm |
| Disciplina | 511.3 |
| Collana | CSLI Lecture Notes. 68 |
| Soggetto non controllato |
Logica matematica
Probabilitáa |
| ISBN | 1-57586-067-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000050920203316 |
ADAMS, Ernest W.
|
||
| Stanford (Calif.) : CSLI, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A primer of probability logic : Ernest W. Adams
| A primer of probability logic : Ernest W. Adams |
| Autore | ADAMS, Ernest W. |
| Pubbl/distr/stampa | Stanford (Calif.) : CSLI, copyr.1998 |
| Descrizione fisica | XIV, 376 p. ; 23 cm |
| Disciplina | 511.3 |
| Collana | CSLI Lecture Notes |
| Soggetto topico |
Logica matematica
Probabilità |
| ISBN | 1-57586-067-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001187990203316 |
|
ADAMS, Ernest W.
|
||
| Stanford (Calif.) : CSLI, copyr.1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A profile of mathematical logic
| A profile of mathematical logic |
| Autore | DELONG, Howard |
| Pubbl/distr/stampa | Reading (Massachussets) : Addison-Wesley, 1971 |
| Descrizione fisica | XIII, 304 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Addison-Wesley Series in Mathematics |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000622380203316 |
|
DELONG, Howard
|
||
| Reading (Massachussets) : Addison-Wesley, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A proof theory for general unification / Wagner Snyder
| A proof theory for general unification / Wagner Snyder |
| Autore | Snyder, Wagner |
| Pubbl/distr/stampa | Boston [etc.] : Birkauser, 1991 |
| Disciplina | 511.3 |
| Collana | Progress in computer science |
| Soggetto non controllato | logica matematica |
| ISBN | 0-8176-3593-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000125810203316 |
|
Snyder, Wagner
|
||
| Boston [etc.] : Birkauser, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A proof theory for general unification / Wayne Snyder
| A proof theory for general unification / Wayne Snyder |
| Autore | Snyder, Wayne <1955- > |
| Pubbl/distr/stampa | Boston [etc.], : Birkhauser, 1991 |
| Descrizione fisica | VI, 175 p. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Progress in computer science and applied logic |
| Soggetto topico | Logica matematica |
| ISBN |
0817635939
3764335939 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-MIL0082707 |
|
Snyder, Wayne <1955- >
|
||
| Boston [etc.], : Birkhauser, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
A regional theory of computing : John G. Sanderson
| A regional theory of computing : John G. Sanderson |
| Autore | SANDERSON, John G. |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1980 |
| Descrizione fisica | VI, 147 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000349980203316 |
|
SANDERSON, John G.
|
||
| Berlin : Springer Verlag, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A structural approach to arithmetic / Charles R. Parish and Roy L. Mc Cormick
| A structural approach to arithmetic / Charles R. Parish and Roy L. Mc Cormick |
| Autore | PARISH, Charles R. |
| Pubbl/distr/stampa | New York : Van Nostrand, 1970 |
| Descrizione fisica | IX, 421 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003225530203316 |
|
PARISH, Charles R.
|
||
| New York : Van Nostrand, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A survey of mathematical logic / Hao Wang
| A survey of mathematical logic / Hao Wang |
| Autore | Wang, Hao |
| Pubbl/distr/stampa | Peking : Science Press, 1963 |
| Descrizione fisica | x, 651 p. ; 25 cm |
| Disciplina |
511.3
519 |
| Soggetto non controllato | Logica e fondamenti |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002560060403321 |
|
Wang, Hao
|
||
| Peking : Science Press, 1963 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A survey of symbolic logic / C. I. Lewis
| A survey of symbolic logic / C. I. Lewis |
| Autore | Lewis, Clarence Irving |
| Pubbl/distr/stampa | New York : Dover Publications, ©1960 |
| Descrizione fisica | 327 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Soggetto non controllato | Logica simbolica e matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000458710403321 |
|
Lewis, Clarence Irving
|
||
| New York : Dover Publications, ©1960 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A survey of symbolic logic / Lewis C.I.
| A survey of symbolic logic / Lewis C.I. |
| Autore | LEWIS, C.I. |
| Pubbl/distr/stampa | Berkeley : University of California Press, 1918 |
| Descrizione fisica | VI, 406 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003224320203316 |
|
LEWIS, C.I.
|
||
| Berkeley : University of California Press, 1918 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
