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.
Constructibility and mathematical existence / Charles S. Chihara
| Constructibility and mathematical existence / Charles S. Chihara |
| Autore | Chihara, Charles S. |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1990 |
| Descrizione fisica | xv, 282 p. : ill. ; 23 cm. |
| Disciplina | 511 |
| Soggetto topico |
Constructive mathematics
Mathematical logic Mathematics-philosophy Symbolic logic |
| ISBN | 0198239750 |
| Classificazione | QAB.4.C45 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000783669707536 |
Chihara, Charles S.
|
||
| Oxford : Clarendon Press, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
From Kant to Hilbert : a source book in the foundations of mathematics / William Ewald
| From Kant to Hilbert : a source book in the foundations of mathematics / William Ewald |
| Autore | Ewald, William Bragg |
| Pubbl/distr/stampa | Oxford : Clarendon press, 1996 |
| Descrizione fisica | 2 v. ; 24 cm. |
| Disciplina | 510.1 |
| Soggetto topico | Mathematics-philosophy |
| ISBN |
019853471X (v. 2)
0198532717 (set) 0198534701 (v. 1) |
| Classificazione |
AMS 01A05
QA8.6.F77 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000913939707536 |
|
Ewald, William Bragg
|
||
| Oxford : Clarendon press, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Grundlagen der Mathematik / D. Hilbert und P. Bernays
| Grundlagen der Mathematik / D. Hilbert und P. Bernays |
| Autore | Hilbert, David |
| Edizione | [2. Aufl] |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1968-70 |
| Descrizione fisica | 2 v. ; 24 cm. |
| Disciplina | 510.9 |
| Altri autori (Persone) | Bernays, Paul |
| Collana |
Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics, 0072-7830 ; 40
Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics, 0072-7830 ; 50 |
| Soggetto topico |
Collected works
Mathematics-philosophy Symbolic logic |
| Classificazione |
AMS 03-03
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISALENTO-991000966689707536 |
|
Hilbert, David
|
||
| Berlin : Springer-Verlag, 1968-70 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The heritage of Thales / W. S. Anglin, J. Lambek
| The heritage of Thales / W. S. Anglin, J. Lambek |
| Autore | Anglin, W. S. |
| Pubbl/distr/stampa | New York, NY, USA : Springer-Verlag, c1995 |
| Descrizione fisica | x, 327 p. : ill. ; 25 cm. |
| Disciplina | 510.9 |
| Altri autori (Persone) | Lambeck, Joachim |
| Collana | Undergraduate texts in mathematics. Readings in mathematics |
| Soggetto topico |
Mathematics-history
Mathematics-philosophy |
| ISBN | 038794544X |
| Classificazione |
AMS 01-01
AMS 01A45 QA21.A535 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000977959707536 |
|
Anglin, W. S.
|
||
| New York, NY, USA : Springer-Verlag, c1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Lakatos' philosophy of mathematics : a historical approach / Teun Koetsier
| Lakatos' philosophy of mathematics : a historical approach / Teun Koetsier |
| Autore | Koetsier, T. |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1991 |
| Descrizione fisica | xi, 312 p. ; 23 cm. |
| Disciplina | 510.1 |
| Collana | Studies in the history and philosophy of mathematics ; 3 |
| Soggetto topico |
Mathematics-history
Mathematics-philosophy |
| ISBN | 0444889442 |
| Classificazione |
AMS 00A30
QA8.4.K64 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001056569707536 |
|
Koetsier, T.
|
||
| Amsterdam : North-Holland, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematics, a concise history and philosophy / W. S. Anglin
| Mathematics, a concise history and philosophy / W. S. Anglin |
| Autore | Anglin, W. S. |
| Pubbl/distr/stampa | New York : Springer-Verlag, c1994 |
| Descrizione fisica | xi, 261 p. : ill. ; 24 cm. |
| Disciplina | 510.9 |
| Collana | Undergraduate texts in mathematics. Readings in mathematics |
| Soggetto topico |
Mathematics-history
Mathematics-philosophy |
| ISBN | 0387942807 |
| Classificazione |
AMS 00A30
AMS 01-01 AMS 01A05 QA21.A54 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001121909707536 |
|
Anglin, W. S.
|
||
| New York : Springer-Verlag, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Outlines of a formalist philosophy of mathematics / Haskell B. Curry
| Outlines of a formalist philosophy of mathematics / Haskell B. Curry |
| Autore | Curry, Haskell B. |
| Pubbl/distr/stampa | Amsterdam : North-Holland, [c1951] |
| Descrizione fisica | vii, 75 p. ; 23 cm. |
| Disciplina | 510.1 |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X |
| Soggetto topico |
Mathematics-philosophy
Philosophy of mathematics |
| ISBN | 072042206X |
| Classificazione | AMS 00A30 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001216479707536 |
|
Curry, Haskell B.
|
||
| Amsterdam : North-Holland, [c1951] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Philosophie mathématique / Jean Cavaillés
| Philosophie mathématique / Jean Cavaillés |
| Autore | Cavaillés, Jean |
| Pubbl/distr/stampa | Paris : Hermann, c1962 |
| Descrizione fisica | 274 p. ; 22 cm. |
| Disciplina | 510.1 |
| Altri autori (Persone) |
Cantor, Georg
Dedekind, Richard |
| Collana | Histoire de la pensée ; 6 |
| Soggetto topico |
Mathematics-history-19th century
Mathematics-philosophy Set theory |
| Classificazione |
AMS 01A55
AMS 04-03 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNISALENTO-991001229529707536 |
|
Cavaillés, Jean
|
||
| Paris : Hermann, c1962 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Plato's philosophy of mathematics / by Anders Wedberg
| Plato's philosophy of mathematics / by Anders Wedberg |
| Autore | Wedberg, Anders |
| Pubbl/distr/stampa | Stockholm : Almqvist & Wiksell, c1955 |
| Descrizione fisica | 154 p. ; 23 cm. |
| Disciplina | 510.9 |
| Soggetto topico |
History of mathematics-greek
Mathematics-philosophy Plato |
| Classificazione |
AMS 00A30
AMS 01A20 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001231349707536 |
|
Wedberg, Anders
|
||
| Stockholm : Almqvist & Wiksell, c1955 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Proofs and refutations : the logic of mathematical discovery / by Imre Lakatos ; edited by John Worrall and Elie Zahar
| Proofs and refutations : the logic of mathematical discovery / by Imre Lakatos ; edited by John Worrall and Elie Zahar |
| Autore | Lakatos, Imre |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1976 |
| Descrizione fisica | xii, 174 p. ; 23 cm. |
| Disciplina | 510 |
| Soggetto topico |
Mathematics-philosophy
Philosophy of mathematics |
| ISBN | 052121078X |
| Classificazione | AMS 00A30 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001269289707536 |
|
Lakatos, Imre
|
||
| Cambridge : Cambridge University Press, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
