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.
Coding the universe / A. Beller, R. Jensen, P. Welch
| Coding the universe / A. Beller, R. Jensen, P. Welch |
| Autore | Beller, A. |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, c1982 |
| Descrizione fisica | 353 p. ; 23 cm |
| Disciplina | 511.322 |
| Altri autori (Persone) |
Jensen, Ronald Bjorn
Welch, P. |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 47 |
| Soggetto topico |
Axiomatic set theory
Set theory Symbolic logic and mathematical |
| ISBN | 0521280404 |
| Classificazione | AMS 03E |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000748689707536 |
Beller, A.
|
||
| Cambridge : Cambridge University Press, c1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Intentional and higher-order modal logic : with applications to Montague semantics / Daniel Gallin
| Intentional and higher-order modal logic : with applications to Montague semantics / Daniel Gallin |
| Autore | Gallin, Daniel |
| Descrizione fisica | vii, 148 p. ; 23 cm |
| Disciplina | 511.3 |
| Collana | North-Holland mathematics studies, 0304-0208 ; 19 |
| Soggetto topico |
Modality (Logic)
Symbolic logic and mathematical |
| ISBN | 044411002X |
| Classificazione | AMS 03B15 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001005389707536 |
|
Gallin, Daniel
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
