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.
Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 / edited by Dag Prawitz, Brian Skyrms, Dag Westerstahl
| Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 / edited by Dag Prawitz, Brian Skyrms, Dag Westerstahl |
| Autore | International congress of logic, methodology and philosophy of science : 9. : 1991 |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 1994 |
| Descrizione fisica | XIV, 989 p. ; 23 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00-XX - General and overarching topics; collections [MSC 2020] |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0092511 |
International congress of logic, methodology and philosophy of science : 9. : 1991
|
||
| Amsterdam, : Elsevier, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 / edited by Dag Prawitz, Brian Skyrms, Dag Westerstahl
| Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 / edited by Dag Prawitz, Brian Skyrms, Dag Westerstahl |
| Autore | International congress of logic, methodology and philosophy of science : 9. : 1991 |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 1994 |
| Descrizione fisica | XIV, 989 p. ; 23 cm |
| Soggetto topico |
00-XX - General and overarching topics; collections [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00092511 |
|
International congress of logic, methodology and philosophy of science : 9. : 1991
|
||
| Amsterdam, : Elsevier, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 / edited by Dag Prawitz, Brian Skyrms, Dag Westerstahl
| Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 / edited by Dag Prawitz, Brian Skyrms, Dag Westerstahl |
| Autore | International congress of logic, methodology and philosophy of science : 9. : 1991 |
| Edizione | [Amsterdam [etc.] : Elsevier] |
| Descrizione fisica | Pubblicazione in formato elettronico. |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 8-0-444-89341-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0092511 |
|
International congress of logic, methodology and philosophy of science : 9. : 1991
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
LOGIC, methodology and philosophy of science IX : Proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 / Edited by Dag Prawitz, Brian Skyrms, Dag Westersth̄l
| LOGIC, methodology and philosophy of science IX : Proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 / Edited by Dag Prawitz, Brian Skyrms, Dag Westersth̄l |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1994 |
| Descrizione fisica | xiv, 989 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica matematica - Congressi
Filosofia della scienza - Congressi Metodologia della scienza - Congressi |
| ISBN | 0-444-89341-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001359450403321 |
| Amsterdam : North-Holland, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, methodology, and philosophy of science IX [e-book] : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 / edited by Dag Prawitz ... [et al.]
| Logic, methodology, and philosophy of science IX [e-book] : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 / edited by Dag Prawitz ... [et al.] |
| Autore | International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) |
| Pubbl/distr/stampa | Amsterdam ; New York : Elsevier, 1994 |
| Descrizione fisica | xiv, 989 p. : ill. ; 23 cm |
| Disciplina | 501 |
| Altri autori (Persone) | Prawitz, Dag |
| Collana | Studies in logic and the foundations of mathematics ; 134 |
| Soggetto topico |
Science - Philosophy - Congresses
Science - Methodology - Congresses Logic, Symbolic and mathematical - Congresses |
| ISBN |
9780444893413
0444893415 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991003277769707536 |
|
International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden)
|
||
| Amsterdam ; New York : Elsevier, 1994 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Natural Deduction : A Proof-Theoretical Study / Dag Prawitz
| Natural Deduction : A Proof-Theoretical Study / Dag Prawitz |
| Autore | Prawitz, Dag |
| Pubbl/distr/stampa | Stockholm [etc.] : Almqvist & Wiksell, 1965 |
| Descrizione fisica | 113 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Stockholm Studies in Philosophy |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001046590403321 |
|
Prawitz, Dag
|
||
| Stockholm [etc.] : Almqvist & Wiksell, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Natural deduction : a proof-theoretical study / Dag Prawitz
| Natural deduction : a proof-theoretical study / Dag Prawitz |
| Autore | Prawitz, Dag |
| Pubbl/distr/stampa | Stoccolma : Almqvist & Wiksell, 1965 |
| Disciplina | 511.3 |
| Collana | Acta Universitatis Stockholmiensis |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001274670403321 |
|
Prawitz, Dag
|
||
| Stoccolma : Almqvist & Wiksell, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||