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.
1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay
| 1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1992 |
| Descrizione fisica | XII, 827 p. ; 24 cm. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03Bxx - General logic [MSC 2020] |
| ISBN | 01-985373-5-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0050957 |
| Oxford, : Clarendon, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay
| 1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1992 |
| Descrizione fisica | XII, 827 p. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03Bxx - General logic [MSC 2020] |
| ISBN | 01-985373-5-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0050957 |
| Oxford, : Clarendon, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Background
| Background |
| Pubbl/distr/stampa | San Francisco, California : , : Institute for Research on International Behavior, San Francisco State College, , 1962-1966 |
| Disciplina | 320 |
| Soggetto topico |
World politics - 1945-1989
Polityka międzynarodowa World politics |
| Soggetto genere / forma |
Czasopismo politologiczne
Periodicals. |
| ISSN | 2326-2966 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910134551303321 |
| San Francisco, California : , : Institute for Research on International Behavior, San Francisco State College, , 1962-1966 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Background
| Background |
| Pubbl/distr/stampa | San Francisco, California : , : Institute for Research on International Behavior, San Francisco State College, , 1962-1966 |
| Disciplina | 320 |
| Soggetto topico |
World politics - 1945-1989
Polityka międzynarodowa World politics |
| Soggetto genere / forma |
Czasopismo politologiczne
Periodicals. |
| ISSN | 2326-2966 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996205653003316 |
| San Francisco, California : , : Institute for Research on International Behavior, San Francisco State College, , 1962-1966 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
v. 1.: Background : texts and context / edited by Preston King
| v. 1.: Background : texts and context / edited by Preston King |
| Pubbl/distr/stampa | London : Routledge, 2000 |
| Descrizione fisica | XLI, 487 p., 1 ritr. : ill. ; 24 cm |
| Disciplina | 320.01 |
| Collana | Critical assessments of leading political philosophers |
| Soggetto (Persona) | Hobbes, Thomas Filosofia politica Studi |
| ISBN | 0-415-08081-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000507370203316 |
| London : Routledge, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Vol. 1: Background : mathematical structures / volume co-ordinator Dov M. Gabbay
| Vol. 1: Background : mathematical structures / volume co-ordinator Dov M. Gabbay |
| Pubbl/distr/stampa | Oxford, : Clarendon press, 1992 |
| Descrizione fisica | XII, 827 p. ; 24 cm. |
| Disciplina | 004 |
| Soggetto topico |
Logica matematica
Informatica Logica simbolica |
| ISBN | 0198537352 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-MIL0138957 |
| Oxford, : Clarendon press, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Vol. 2: Background : computational structures / volume co-ordinator Dov M. Gabbay
| Vol. 2: Background : computational structures / volume co-ordinator Dov M. Gabbay |
| Pubbl/distr/stampa | Oxford, : Clarendon press, 1992 |
| Descrizione fisica | X, 571 p. ; 24 cm. |
| Disciplina | 004 |
| Soggetto topico |
Informatica
Logica simbolica Logica matematica |
| ISBN | 0198537611 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-MIL0138960 |
| Oxford, : Clarendon press, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||