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.
Algebre di Hilbert e loro generalizzazioni. Tesi di laurea / laureanda Alessandra Guido ; relat. Domenico Lenzi
| Algebre di Hilbert e loro generalizzazioni. Tesi di laurea / laureanda Alessandra Guido ; relat. Domenico Lenzi |
| Autore | Guido, Alessandra |
| Pubbl/distr/stampa | Lecce : Università degli Studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 2000-01 |
| Descrizione fisica | 96 p. ; 30 cm. |
| Altri autori (Persone) | Lenzi, Domenico |
| Soggetto topico | Mathematical logic |
| Classificazione |
AMS 03B05
AMS 03G05 AMS 06D15 AMS 06D20 AMS 08A05 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | || |
| Record Nr. | UNISALENTO-991003670649707536 |
Guido, Alessandra
|
||
| Lecce : Università degli Studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 2000-01 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Classical propositional operators : an exercise in the foundations of logic / by Krister Segerberg
| Classical propositional operators : an exercise in the foundations of logic / by Krister Segerberg |
| Autore | Segerberg, Krister |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1982 |
| Descrizione fisica | x, 151 p. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Oxford logic guides ; 5 |
| Soggetto topico | Propositional calculus |
| ISBN | 0198531737 |
| Classificazione |
AMS 03B05
QA9.3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000744789707536 |
|
Segerberg, Krister
|
||
| Oxford : Clarendon Press, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The cosmical knowledge and the human computer : excerpts and supplements / Ion Costescu
| The cosmical knowledge and the human computer : excerpts and supplements / Ion Costescu |
| Autore | Costescu, Ion |
| Pubbl/distr/stampa | [Timisoara, Romania] : University of Timisoara, 1996 |
| Descrizione fisica | vi, 115 p. : ill. ; 24 cm. |
| Disciplina | 511.3 |
| Soggetto topico |
Symbolic and mathematical logic
Theory of knowledge |
| ISBN | 9735781514 |
| Classificazione | AMS 03B05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991003675889707536 |
|
Costescu, Ion
|
||
| [Timisoara, Romania] : University of Timisoara, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||