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.
Un'analisi critica delle logiche quantistiche dal 1930 ai nostri giorni. Tesi di laurea / laureando Anna Barnaba ; relat. C. Garola
| Un'analisi critica delle logiche quantistiche dal 1930 ai nostri giorni. Tesi di laurea / laureando Anna Barnaba ; relat. C. Garola |
| Autore | Barnaba, Anna |
| Pubbl/distr/stampa | Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1985-86 |
| Altri autori (Persone) | Garola, Claudio |
| Soggetto topico |
Mathematical logic-history
Nonstandard models |
| Classificazione |
AMS 03-03
AMS 03H |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000672169707536 |
Barnaba, Anna
|
||
| Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1985-86 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
I fondamenti della matematica : da Dedekind a Tarski / Andrea Cantini
| I fondamenti della matematica : da Dedekind a Tarski / Andrea Cantini |
| Autore | Cantini, Andrea |
| Pubbl/distr/stampa | Torino : Loescher, 1979 |
| Descrizione fisica | 260 p. ; 20 cm. |
| Disciplina | 511.3 |
| Collana | Storia della scienza ; 13 |
| Soggetto topico |
Mathematical logic and foundations
Mathematical logic-history Mathematics-history-19th century Mathematics-history-20th century |
| Classificazione |
AMS 01A55
AMS 01A60 AMS 03-03 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000899549707536 |
|
Cantini, Andrea
|
||
| Torino : Loescher, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
From Frege to Godel : a source book in Mathematical Logic, 1879-1931 / Jean van Heijenoort
| From Frege to Godel : a source book in Mathematical Logic, 1879-1931 / Jean van Heijenoort |
| Autore | Heijenoort, Jean van |
| Pubbl/distr/stampa | Cambridge, MA : Harvard Univ. Press, 1967 |
| Descrizione fisica | viii, 664 p. ; 25 cm. |
| Disciplina | 511.3 |
| Soggetto topico |
History of mathematics
Mathematical logic-history |
| ISBN | 0674324498 |
| Classificazione |
AMS 00B60
AMS 01A05 AMS 01A55 AMS 01A60 AMS 03-03 AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000913809707536 |
|
Heijenoort, Jean van
|
||
| Cambridge, MA : Harvard Univ. Press, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
La logique de Charles Sanders Peirce : de l'algèbre aux graphes / Pierre Thibaud
| La logique de Charles Sanders Peirce : de l'algèbre aux graphes / Pierre Thibaud |
| Autore | Thibaud, Pierre |
| Pubbl/distr/stampa | [Aix-en-Provence] : Éditions de l'Université de Provence, 1975 |
| Descrizione fisica | 184 p. : ill. ; 25 cm. |
| Disciplina | 510.9 |
| Collana | Etudes philosophiques ; 1 |
| Soggetto topico |
History of mathematics-19th century
Mathematical logic-history Peirce, Charles Sanders Symbolic logic-history |
| ISBN | 2853990060 |
| Classificazione |
AMS 01A55
AMS 03-03 AMS 03-XX QA9.T38 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNISALENTO-991001096799707536 |
|
Thibaud, Pierre
|
||
| [Aix-en-Provence] : Éditions de l'Université de Provence, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematics of the 19th century : mathematical logic, algebra, number theory, probability theory / edited by A. N. Kolmogorov, A. P. Yushkevich
| Mathematics of the 19th century : mathematical logic, algebra, number theory, probability theory / edited by A. N. Kolmogorov, A. P. Yushkevich |
| Autore | Kolmogorov, Andrej Nikolaevic |
| Edizione | [Engl. ed] |
| Pubbl/distr/stampa | Basel ; Boston ; Berlin : Birkhauser, 1992 |
| Descrizione fisica | 308 p. ; 24 cm. |
| Disciplina | 510 |
| Altri autori (Persone) | Yushkevich, A.P. |
| Soggetto topico |
Algebraic systems-hystory
Mathematical logic-history Mathematics-history-19th century Number theory-history Probability theory-history |
| ISBN | 3764325526 |
| Classificazione |
AMS 01A55
AMS 03-03 AMS 08-03 AMS 11-03 AMS 60-03 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001125119707536 |
|
Kolmogorov, Andrej Nikolaevic
|
||
| Basel ; Boston ; Berlin : Birkhauser, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Perspectives on the history of mathematical logic / ed. Thomas Drucker
| Perspectives on the history of mathematical logic / ed. Thomas Drucker |
| Autore | Drucker, Thomas |
| Pubbl/distr/stampa | Boston : Birkhäuser, 1991 |
| Descrizione fisica | 195 p. ; 24 cm. |
| Disciplina | 511.3 |
| Soggetto topico |
Mathematical logic-history
Symbolic logic-history |
| ISBN | 3764334444 |
| Classificazione |
AMS 01-06
AMS 01-XX AMS 03-06 QA9.P43 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001227609707536 |
|
Drucker, Thomas
|
||
| Boston : Birkhäuser, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
