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.
Bounded arithmetic / Samuel R. Buss
| Bounded arithmetic / Samuel R. Buss |
| Autore | Buss, Samuel R. |
| Pubbl/distr/stampa | Napoli, : Bibliopolis, 1986 |
| Descrizione fisica | 221 p. : ill. ; 25 cm |
| Disciplina | 519 |
| Collana | Studies in Proof Theory |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001219480403321 |
Buss, Samuel R.
|
||
| Napoli, : Bibliopolis, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bounded Arithmetic / Samuel R. Buss
| Bounded Arithmetic / Samuel R. Buss |
| Autore | Buss, Samuel R. |
| Pubbl/distr/stampa | s.l. : s.e., 1985 |
| Descrizione fisica | ii, 189 p. ; 30 cm |
| Disciplina | 519 |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001093440403321 |
|
Buss, Samuel R.
|
||
| s.l. : s.e., 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Brouwer's Intuitionism / Walter P. van Stigt
| Brouwer's Intuitionism / Walter P. van Stigt |
| Autore | Stigt, Walter P., van |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1990 |
| Descrizione fisica | XXVI, 530 p. ; 23 cm |
| Disciplina | 519 |
| Collana | Studies in the History and Philosophy of Mathematics |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| ISBN | 0-444-88384-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001117150403321 |
|
Stigt, Walter P., van
|
||
| Amsterdam [etc.] : North-Holland, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Büchi's monadic second order successor arithmetic / Dirk Sierfkes
| Büchi's monadic second order successor arithmetic / Dirk Sierfkes |
| Autore | Siefkes, Dirk |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, c1970 |
| Descrizione fisica | XII, 130 p. : ill. ; 25 cm |
| Collana | Lecture Notes in Mathematics |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009126190403321 |
|
Siefkes, Dirk
|
||
| Berlin [etc.] : Springer-Verlag, c1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Chance, cause, reason : an inquiry into the nature of scientific evidence / Arthur W. Burks
| Chance, cause, reason : an inquiry into the nature of scientific evidence / Arthur W. Burks |
| Autore | Burks, Arthur W. |
| Pubbl/distr/stampa | Chicago ; London : University of Chicago Press, 1977 |
| Descrizione fisica | XVI, 694 p. ; 24 cm |
| Disciplina | 519 |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| ISBN | 0-226-08087-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000970100403321 |
|
Burks, Arthur W.
|
||
| Chicago ; London : University of Chicago Press, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Che cos'è la matematica? : introduzione elementare ai suoi concetti e metodi / Richard Courant, Herbert Robbins
| Che cos'è la matematica? : introduzione elementare ai suoi concetti e metodi / Richard Courant, Herbert Robbins |
| Autore | Courant, Richard |
| Pubbl/distr/stampa | Torino : Boringhieri, 1961 |
| Descrizione fisica | 756 p. ; 22 cm |
| Disciplina | 519 |
| Altri autori (Persone) | Robbins, Herbert |
| Collana | Biblioteca di cultura scientifica |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990004102600403321 |
|
Courant, Richard
|
||
| Torino : Boringhieri, 1961 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computable Analysis / Oliver Aberth
| Computable Analysis / Oliver Aberth |
| Autore | Aberth, Oliver |
| Pubbl/distr/stampa | New York [etc.] : McGraw-Hill, 1980 |
| Descrizione fisica | xi, 187 p. ; 24 cm |
| Disciplina | 519 |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| ISBN | 0-07-000079-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000952500403321 |
|
Aberth, Oliver
|
||
| New York [etc.] : McGraw-Hill, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Philosophy of Science / Paul Thagard
| Computational Philosophy of Science / Paul Thagard |
| Autore | Thagard, Paul |
| Pubbl/distr/stampa | Cambridge [Mass.] : The MIT Press, 1988 |
| Disciplina | 519 |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| ISBN | 0-262-70048-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001118000403321 |
|
Thagard, Paul
|
||
| Cambridge [Mass.] : The MIT Press, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Conoscenza e matematica / a cura di Lorenzo Magnani
| Conoscenza e matematica / a cura di Lorenzo Magnani |
| Autore | Magnani, Lorenzo |
| Pubbl/distr/stampa | Milano : Marcos y Marcos, 1991 |
| Descrizione fisica | 497 p. ; 20 cm |
| Disciplina | 519 |
| Collana | La collana dei saggi |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001117000403321 |
|
Magnani, Lorenzo
|
||
| Milano : Marcos y Marcos, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructive Formalism / R.L. Goodstein
| Constructive Formalism / R.L. Goodstein |
| Autore | Goodstein, R.l. |
| Pubbl/distr/stampa | Leicester : University College, 1951 |
| Disciplina | 519 |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001000400403321 |
|
Goodstein, R.l.
|
||
| Leicester : University College, 1951 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
