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.
La fondazione della matematica / L. Lombardo Radice, A. Labella
| La fondazione della matematica / L. Lombardo Radice, A. Labella |
| Autore | Lombardo-Radice, Lucio |
| Pubbl/distr/stampa | Roma : La Goliardica, 1976 |
| Descrizione fisica | 241 p. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Labella, A. |
| Soggetto topico | Foundations of classical theories |
| Classificazione | AMS 03B30 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000900999707536 |
Lombardo-Radice, Lucio
|
||
| Roma : La Goliardica, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
A formalization of set theory without variables / Alfred Tarski, Steven Givant
| A formalization of set theory without variables / Alfred Tarski, Steven Givant |
| Autore | Tarski, Alfred |
| Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, 1987 |
| Descrizione fisica | xxi, 318 p. ; 26 cm |
| Disciplina | 511.322 |
| Altri autori (Persone) | Givant, Steven R.author |
| Collana | Colloquium publications, 0065-9258 ; 41 |
| Soggetto topico |
Mathematical logic
Set theory Symbolic logic |
| ISBN | 0821810413 |
| Classificazione |
AMS 03B
AMS 03B30 AMS 03C05 AMS 03E30 AMS 03G15 QA248.T37 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000902259707536 |
|
Tarski, Alfred
|
||
| Providence, R. I. : American Mathematical Society, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Foundations of Mathematics: a new proposal based on Homotopy. Tesi di laurea / laureanda Irene Bosco ; relat. Rocco Chirivì
| Foundations of Mathematics: a new proposal based on Homotopy. Tesi di laurea / laureanda Irene Bosco ; relat. Rocco Chirivì |
| Autore | Bosco, Irene |
| Pubbl/distr/stampa | Lecce : Università del Salento. Dipartimento di Matematica e Fisica "Ennio De Giorgi". Corso di laurea magistrale in Matematica, a.a. 2016-17 |
| Descrizione fisica | 94 p. ; 30 cm |
| Disciplina | 510 |
| Altri autori (Persone) | Chirivì, Rocco |
| Classificazione | AMS 03B30 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991003568999707536 |
|
Bosco, Irene
|
||
| Lecce : Università del Salento. Dipartimento di Matematica e Fisica "Ennio De Giorgi". Corso di laurea magistrale in Matematica, a.a. 2016-17 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Philosophy of geometry from Riemann to Poincaré / Roberto Torretti
| Philosophy of geometry from Riemann to Poincaré / Roberto Torretti |
| Autore | Torretti, Roberto |
| Pubbl/distr/stampa | Boston : D. Reidel Publ. Co., 1978 |
| Descrizione fisica | xiii, 459 p. : ill. ; 23 cm. |
| Disciplina | 516.001 |
| Collana | Episteme ; 7 |
| Soggetto topico |
Geometry-history
Geometry-philosophy History of mathematics-19th century Mathematical logic and foundations |
| ISBN | 9027709203 |
| Classificazione |
AMS 01A55
AMS 03-03 AMS 03B30 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001229619707536 |
|
Torretti, Roberto
|
||
| Boston : D. Reidel Publ. Co., 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Predicative arithmetic / Edward Nelson
| Predicative arithmetic / Edward Nelson |
| Autore | Nelson, Edward |
| Pubbl/distr/stampa | Princeton, N.J. : Princeton Univ. Press, 1986 |
| Descrizione fisica | viii, 189 p. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Mathematical notes ; 32 |
| Soggetto topico |
Arithmetic
Constructive mathematics |
| ISBN | 0691084556 |
| Classificazione | AMS 03B30 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001237709707536 |
|
Nelson, Edward
|
||
| Princeton, N.J. : Princeton Univ. Press, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Science without numbers : a defence of nominalism / Hartry H. Field
| Science without numbers : a defence of nominalism / Hartry H. Field |
| Autore | Field, Hartry H. |
| Pubbl/distr/stampa | Oxford : B. Blackwell, 1980 |
| Descrizione fisica | xiii, 130 p. ; 22 cm. |
| Disciplina | 510.1 |
| Collana | Library of philosophy and logic |
| Soggetto topico | Philosophy of mathematics |
| ISBN | 0631126724 |
| Classificazione |
AMS 00A30
AMS 03A05 AMS 03B30 AMS 03F25 QA8.4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001318259707536 |
|
Field, Hartry H.
|
||
| Oxford : B. Blackwell, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||