Natural deduction : a proof-theoretical study / Dag Prawitz
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Prawitz, Dag
|
| Titolo: |
Natural deduction : a proof-theoretical study / Dag Prawitz
|
| Pubblicazione: | Stoccolma : Almqvist & Wiksell, 1965 |
| Disciplina: | 511.3 |
| Soggetto non controllato: | Logica matematica |
| Titolo autorizzato: | Natural Deduction |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 990001274670403321 |
| Lo trovi qui: | Univ. Federico II |
| Collocazione: | 11-M-5 |
| Opac: | Controlla la disponibilità qui |