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.
Defeasible deotic logic / Edited by Donald Nute
| Defeasible deotic logic / Edited by Donald Nute |
| Pubbl/distr/stampa | Dordrecht (NL) : Kluwer, 1997 |
| Descrizione fisica | vii, 354 p. ; 25 cm |
| Disciplina | 511.3 |
| Collana | Syntese Library |
| Soggetto non controllato | Logica matematica - Congressi |
| ISBN | 0-7923-4630-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001431970403321 |
| Dordrecht (NL) : Kluwer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Model based reasoning in scientific discovery / edited by L. Magnani, N. J. Nersessian, P. Thagard
| Model based reasoning in scientific discovery / edited by L. Magnani, N. J. Nersessian, P. Thagard |
| Autore | Magnani, Lorenzo |
| Pubbl/distr/stampa | New York : Kluwer, c1999 |
| Descrizione fisica | ix, 343 p. : ill. ; 24 cm |
| Disciplina | 501.1 |
| Altri autori (Persone) | Nersessian, Nancy J. |
| Soggetto non controllato |
Metodologia della scienza - Congressi
Logica matematica - Congressi |
| ISBN | 0-306-46292-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001495380403321 |
Magnani, Lorenzo
|
||
| New York : Kluwer, c1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model theoretic algebra : with particular emphasis on fields, rings, modules / by Christian U. Jensen and Helmut Lenzing
| Model theoretic algebra : with particular emphasis on fields, rings, modules / by Christian U. Jensen and Helmut Lenzing |
| Pubbl/distr/stampa | New York : Gordon and Breach Science Publishers, c1989 |
| Descrizione fisica | XIII, 443 p. ; 24 cm |
| Disciplina | 512 |
| Collana | Algebra, logic and applications |
| Soggetto non controllato |
Logica matematica - Congressi
Algebra commutativa - Congressi |
| ISBN | 2-88124-717-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001485320403321 |
| New York : Gordon and Breach Science Publishers, c1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
MODELS and computabilty : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss
| MODELS and computabilty : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, c1999 |
| Descrizione fisica | ix, 419 p. ; 23 cm |
| Disciplina | 511.3 |
| Collana | London Mathematical Society lecture note series |
| Soggetto non controllato |
Logica matematica - Congressi
Teoria dei modelli - Congressi Computabilita - Logica matematica - congressi |
| ISBN | 0-521-63549-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001360800403321 |
| Cambridge : Cambridge University Press, c1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proof theory: history abd philosophical significance / V. F. Hendrichs, S.A. Pedersen, K.F. Jorgensen, editors
| Proof theory: history abd philosophical significance / V. F. Hendrichs, S.A. Pedersen, K.F. Jorgensen, editors |
| Pubbl/distr/stampa | Dordrecht : Kluwer, c2000 |
| Descrizione fisica | xii, 244 p. ; 24 cm |
| Disciplina |
511.3
510.1 |
| Collana | Syntese Library |
| Soggetto non controllato |
Filosofia - Storia - congressi
Logica matematica - Congressi |
| ISBN | 0-7923-6544-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001493340403321 |
| Dordrecht : Kluwer, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SETS and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss
| SETS and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss |
| Autore | Logic colloquium : <1997 |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, c1999 |
| Descrizione fisica | ix, 436 p. ; 23 cm |
| Disciplina | 511.322 |
| Collana | London Mathematical Society lecture note series |
| Soggetto non controllato |
Logica matematica - Congressi
Teoria degli insiemi - Congressi Teoria della dimostrazione - Congressi |
| ISBN | 0-521-63549-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001348810403321 |
|
Logic colloquium : <1997
|
||
| Cambridge : Cambridge University Press, c1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||