Knowledge contributors / V.F.Hendricks, K.F. Jorgensen, S.A.Pedersen,editors |
Pubbl/distr/stampa | Dordrecht : Kluwer, 2003 |
Descrizione fisica | ix, 203 p. ; 24 cm |
Disciplina | 160 |
Collana | Synthese library |
Soggetto non controllato |
Logica
Fondamenti di computazione |
ISBN | 1-4020-1747-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990008297620403321 |
Dordrecht : Kluwer, 2003 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Probability theory : Philosophy recent history and relations to science / V. F.Hendrichs [ e altri], editors |
Pubbl/distr/stampa | Dordrecht : Kluwer, c2001 |
Descrizione fisica | xiii, 183 ; 24 cm |
Disciplina | 110 |
Collana | Synthese library |
Soggetto non controllato |
Logica matematica
Filosofia |
ISBN | 0-7923-6952-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990008350330403321 |
Dordrecht : Kluwer, c2001 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|