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 | ||
| ||
Le antinomie semantiche nella logica medievale / Francesco Bottin
| Le antinomie semantiche nella logica medievale / Francesco Bottin |
| Autore | Bottin, Francesco |
| Pubbl/distr/stampa | Padova : Antenore, 1976 |
| Descrizione fisica | 222 p. ; 22 cm |
| Disciplina | 511.3 |
| Collana | Pubblicazioni dell'Istituto di storia della filosofia e del Centro per ricerche di filosofia medioevale dell'Università di Padova. Nuova serie ; 23 |
| Soggetto topico |
Antinomy
History of mathematics-medieval Logic-history |
| Classificazione |
AMS 01A35
AMS 03-03 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000686989707536 |
|
Bottin, Francesco
|
||
| Padova : Antenore, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The basic laws of arithmetic : exposition of the system / Gottlob Frege ; translated and edited with an introduction by Montgomery Furth
| The basic laws of arithmetic : exposition of the system / Gottlob Frege ; translated and edited with an introduction by Montgomery Furth |
| Autore | Frege, Gottlob |
| Pubbl/distr/stampa | Berkeley : Univ. California Press, 1964 |
| Descrizione fisica | lxiii, 142 p. ; 24 cm. |
| Disciplina | 510.6 |
| Altri autori (Persone) | Furth, Montgomery |
| Soggetto topico |
Collected works
Logic-history |
| Classificazione | AMS 03-03 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000714109707536 |
|
Frege, Gottlob
|
||
| Berkeley : Univ. California Press, 1964 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Bertrand Russell : a collection of critical essays / edited by D. F. Pears
| Bertrand Russell : a collection of critical essays / edited by D. F. Pears |
| Autore | Russell, Bertrand |
| Edizione | [[1st ed.]] |
| Pubbl/distr/stampa | Garden City, N.Y. : Anchor Books, 1972 |
| Descrizione fisica | x, 387 p. ; 18 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Pears, David Francis |
| Soggetto topico |
Biographies, personalia, bibliographies
Logic-history Russell, Bertrand, 1872-1970 |
| Classificazione |
AMS 01A70
AMS 03-03 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000717359707536 |
|
Russell, Bertrand
|
||
| Garden City, N.Y. : Anchor Books, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Bertrand Russell and the origins of the set-theoretic 'paradoxes' / Alejandro R. Garciadiego
| Bertrand Russell and the origins of the set-theoretic 'paradoxes' / Alejandro R. Garciadiego |
| Autore | Garciadiego Dantan, Alejandro Ricardo |
| Pubbl/distr/stampa | Basel ; Boston ; Berlin : Birkhauser, 1992 |
| Descrizione fisica | xxix, 264 p. : ill. ; 24 cm. |
| Disciplina | 511.3 |
| Soggetto topico |
Mathematical logic
Paradox Russell, Bertrand, 1872-1970 Set theory Symbolic logic |
| ISBN | 3764326697 |
| Classificazione |
AMS 01A55
AMS 01A60 AMS 03-03 QA9.G24 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000717409707536 |
|
Garciadiego Dantan, Alejandro Ricardo
|
||
| Basel ; Boston ; Berlin : Birkhauser, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The collected papers of Gerhard Gentzen / edited by M. E. Szabo
| The collected papers of Gerhard Gentzen / edited by M. E. Szabo |
| Autore | Gentzen, Gerhard |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1969 |
| Descrizione fisica | xii, 338 p. ; 23 cm. |
| Disciplina | 510.9 |
| Altri autori (Persone) | Szabo, M. E. |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X |
| Soggetto topico |
Collected works
Logic-history Metamathematics-collected works |
| ISBN | 072042254X |
| Classificazione | AMS 03-03 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000751839707536 |
|
Gentzen, Gerhard
|
||
| Amsterdam : North-Holland, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The development of logic / by William Kneale and Martha Kneale
| The development of logic / by William Kneale and Martha Kneale |
| Autore | Kneale, William |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1962 (reprint 1971) |
| Descrizione fisica | viii, 783 p. ; 22 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Kneale, Marthaauthor |
| Soggetto topico | Logic - History |
| ISBN | 0198247737 |
| Classificazione |
AMS 01-02
AMS 03-03 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000812169707536 |
|
Kneale, William
|
||
| Oxford : Clarendon Press, 1962 (reprint 1971) | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Divertimento geometrico : le origini geometriche della logica da Euclide a Hilbert / Piergiorgio Odifreddi
| Divertimento geometrico : le origini geometriche della logica da Euclide a Hilbert / Piergiorgio Odifreddi |
| Autore | Odifreddi, Piergiorgio |
| Pubbl/distr/stampa | Torino : Bollati Boringhieri, 2003 |
| Descrizione fisica | 271 p. ; 22 cm |
| Disciplina | 516 |
| Collana | Nuova didattica. Scienze |
| Soggetto topico | Geometry - history |
| ISBN | 8833957144 |
| Classificazione |
AMS 03-03
AMS 01A05 LC QA681.O35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991003753189707536 |
|
Odifreddi, Piergiorgio
|
||
| Torino : Bollati Boringhieri, 2003 | ||
| 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 | ||
| ||
I fondamenti della matematica e altri scritti di logica / Frank P. Ramsey
| I fondamenti della matematica e altri scritti di logica / Frank P. Ramsey |
| Autore | Ramsey, Frank P. |
| Pubbl/distr/stampa | Milano : Feltrinelli, 1964 |
| Descrizione fisica | 313 p. ; 22 cm |
| Disciplina | 510.9 |
| Collana | Saggi scientifici [Feltrinelli] ; 6 |
| Soggetto topico |
Mathematics - Foundations
Logic - History |
| Classificazione |
AMS 01A75
AMS 03-03 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000899609707536 |
|
Ramsey, Frank P.
|
||
| Milano : Feltrinelli, 1964 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
