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.
Matrix logic / August Stern
| Matrix logic / August Stern |
| Autore | Stern, August |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1988 |
| Descrizione fisica | viii, 215 p. ; 24 cm. |
| Disciplina | 511.3 |
| Soggetto topico | Matrix logic |
| ISBN | 0444704329 |
| Classificazione |
AMS 03B
AMS 03B99 QA9.9.S74 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001129189707536 |
Stern, August
|
||
| Amsterdam : North-Holland, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The syntax and semantics of infinitary languages : [symposium on infinitary logic held at UCLA on December 28-30, 1967] / edited by Jon Barwise
| The syntax and semantics of infinitary languages : [symposium on infinitary logic held at UCLA on December 28-30, 1967] / edited by Jon Barwise |
| Autore | Barwise, Jon |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1968 |
| Descrizione fisica | 268 p. ; 26 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 72 |
| Soggetto topico | Symbolic logic - Congresses |
| Classificazione |
AMS 03-06
AMS 03B99 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001409159707536 |
|
Barwise, Jon
|
||
| Berlin : Springer-Verlag, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||