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.
Capire una dimostrazione : il ruolo della logica nella matematica / Gabriele Lolli
| Capire una dimostrazione : il ruolo della logica nella matematica / Gabriele Lolli |
| Autore | Lolli, Gabriele |
| Pubbl/distr/stampa | Bologna : Il mulino, c1988 |
| Descrizione fisica | 209 p. ; 22 cm |
| Disciplina | 511.3 |
| Collana | Saggi |
| Soggetto non controllato | Teoria della dimostrazione |
| ISBN | 88-15-01998-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000022572 |
Lolli, Gabriele
|
||
| Bologna : Il mulino, c1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Discrete mathematics / Jean Gallier
| Discrete mathematics / Jean Gallier |
| Autore | Gallier, Jean |
| Pubbl/distr/stampa | New York : Springer, 2011 |
| Descrizione fisica | XIII, 465 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Universitext |
| Soggetto non controllato |
Logica matematica e fondamenti - Esposizione didattica
Teoria della dimostrazione Combinatorica - Esposizione didattica Problemi combinatorici classici Teoria dei grafi |
| ISBN |
978-1-4419-8046-5
978-1-4419-8047-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009344180403321 |
|
Gallier, Jean
|
||
| New York : Springer, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proof theory : the first step into impredicativity / Wolfafram Pohlers
| Proof theory : the first step into impredicativity / Wolfafram Pohlers |
| Autore | Pohlers, Wolfram |
| Pubbl/distr/stampa | Berlino : Springer, c2009 |
| Descrizione fisica | xiii, 370 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Universitext |
| Soggetto non controllato |
Teoria della dimostrazione
Eliminazione dei tagli |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008844650403321 |
|
Pohlers, Wolfram
|
||
| Berlino : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Selected papers in proof theory / Grigorii E. Mints
| Selected papers in proof theory / Grigorii E. Mints |
| Autore | Mints, Gregorii E. |
| Pubbl/distr/stampa | Napoli ; Amsterdam, : Bibliopolis, : North-Holland, 1992 |
| Descrizione fisica | 294 p. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Studies in proof theory, Monographs |
| Soggetto non controllato | Teoria della dimostrazione |
| ISBN | 88-7088-228-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910753800603321 |
|
Mints, Gregorii E.
|
||
| Napoli ; Amsterdam, : Bibliopolis, : North-Holland, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||