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.
Foundations of Constructive Analysis / Errett Bishop
| Foundations of Constructive Analysis / Errett Bishop |
| Autore | Bishop, Errett |
| Pubbl/distr/stampa | New York [etc.] : McGraw-Hill, 1967 |
| Descrizione fisica | xiii, 370 p. ; 23 cm |
| Disciplina | 519 |
| Collana | McGraw-Hill series in higher mathematics |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000962190403321 |
Bishop, Errett
|
||
| New York [etc.] : McGraw-Hill, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson
| Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson |
| Autore | Beeson, Michael J. |
| Pubbl/distr/stampa | Berlin : Heidelberg |
| Descrizione fisica | XXIII, 466 p. ; 25 cm |
| Disciplina | 519 |
| Collana | Ergebnisse der Mathematik und ihrer Grenzgebiete. Folge 3 |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| ISBN |
0-387-12173-0
3-540-12173-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001034810403321 |
|
Beeson, Michael J.
|
||
| Berlin : Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of Inductive Logic / by Roy Harrod
| Foundations of Inductive Logic / by Roy Harrod |
| Autore | Harrod, Roy <1900-1978> |
| Edizione | [Reissued with a new preface 1956] |
| Pubbl/distr/stampa | London ; Basingstoke : Macmillan, 1974 |
| Descrizione fisica | xix, 290 p. ; 23 cm |
| Disciplina | 519 |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| ISBN | 0-333-16951-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001005070403321 |
|
Harrod, Roy <1900-1978>
|
||
| London ; Basingstoke : Macmillan, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of mathematical logic / Haskell B. Curry
| Foundations of mathematical logic / Haskell B. Curry |
| Autore | Curry, Haskell B. |
| Pubbl/distr/stampa | New York : McGraw-Hill, [1963] |
| Descrizione fisica | xii, 408 p. : ill. ; 24 cm |
| Disciplina |
519
511.3 |
| Collana | McGraw-Hill series in higher mathematics |
| Soggetto non controllato |
Fondamenti della logica matematica e probabilità
Logica e fondamenti |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000980100403321 |
|
Curry, Haskell B.
|
||
| New York : McGraw-Hill, [1963] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of Mathematics : Symposium Papers Commemorating the Sixtieth Birthday of Kurt Godel / edited by Jack J. Bulloff, Thomas C. Holyoke, S.W. Hahn
| Foundations of Mathematics : Symposium Papers Commemorating the Sixtieth Birthday of Kurt Godel / edited by Jack J. Bulloff, Thomas C. Holyoke, S.W. Hahn |
| Autore | Bulloff, Jack J. |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1969 |
| Descrizione fisica | XII, 195 p. ; 24 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-990001067830403321 |
|
Bulloff, Jack J.
|
||
| Berlin [etc.] : Springer-Verlag, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
From a logical point of view : Logico-Philosophical Essays / Willard Van Orman Quine
| From a logical point of view : Logico-Philosophical Essays / Willard Van Orman Quine |
| Autore | Orman, Willard van Quine <1908-2000> |
| Edizione | [2nd rev. ed.] |
| Pubbl/distr/stampa | New York [etc.] : Harper & Row, 1963 |
| Descrizione fisica | viii, 184 p. ; 21 cm |
| Disciplina | 519 |
| Collana | Harper torchbooks |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001050230403321 |
|
Orman, Willard van Quine <1908-2000>
|
||
| New York [etc.] : Harper & Row, 1963 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
From Mathematics to Philosophy / Hao Wang
| From Mathematics to Philosophy / Hao Wang |
| Autore | Wang, Hao |
| Pubbl/distr/stampa | London : Routledge & Kegan Paul, 1974 |
| Descrizione fisica | xiv, 428 p. ; 22 cm |
| Disciplina | 519 |
| Collana | International library of philosophy and scientific method |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| ISBN | 0-7100-7689-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001075340403321 |
|
Wang, Hao
|
||
| London : Routledge & Kegan Paul, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Geometry and induction / Jean Nicod ; containing "Geometry in the sensible world" and "The logical problem of induction" with prefaces by Roy Harrod, Bertrand Russel and André Lalande
| Geometry and induction / Jean Nicod ; containing "Geometry in the sensible world" and "The logical problem of induction" with prefaces by Roy Harrod, Bertrand Russel and André Lalande |
| Autore | Nicod, Jean |
| Pubbl/distr/stampa | Berkeley ; Los Angeles : University of California Press, 1970 |
| Descrizione fisica | XX, 245 p. ; 22 cm |
| Disciplina | 519 |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| ISBN | 0-520-01689-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001039450403321 |
|
Nicod, Jean
|
||
| Berkeley ; Los Angeles : University of California Press, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Gödel's theorems : proceedings of the first international symposium
| Gödel's theorems : proceedings of the first international symposium |
| Autore | International symposium on gödel's theorems : <1. ; : 1991 |
| Pubbl/distr/stampa | Singapore : World Scientific, 1993 |
| Descrizione fisica | viii, 236 p. ; 23 cm |
| Disciplina | 519 |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| ISBN | 981-02-1306-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001115290403321 |
|
International symposium on gödel's theorems : <1. ; : 1991
|
||
| Singapore : World Scientific, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hans Reichenbach : Logical Empiricist / edited by Wesley C. Salmon
| Hans Reichenbach : Logical Empiricist / edited by Wesley C. Salmon |
| Autore | Salmon, Wesley C. |
| Pubbl/distr/stampa | Dordrecht (NL) : Reidel, 1979 |
| Descrizione fisica | xi, 782 p. ; 23 cm |
| Disciplina | 519 |
| Collana | Synthese Library |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| ISBN | 90-277-0958-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001051640403321 |
|
Salmon, Wesley C.
|
||
| Dordrecht (NL) : Reidel, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
