Categorie, universi e principi di riflessione / Gabriele Lolli |
Autore | Lolli, Gabriele |
Pubbl/distr/stampa | Torino : Boringhieri, 1977 |
Descrizione fisica | 92 p. ; 21 cm |
Disciplina | 511.3 |
Collana | Lezioni e seminari |
Soggetto topico |
Mathematical logic and foundations
Logica matematica |
Classificazione |
AMS 03-01
AMS 03-XX |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991000735749707536 |
Lolli, Gabriele
![]() |
||
Torino : Boringhieri, 1977 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Elements of mathematical logic / Jan Lukasiewicz ; tranlated from Polish by Olgierd Wojtasiewicz |
Autore | Lukasiewicz, Jan |
Edizione | [English ed] |
Pubbl/distr/stampa | Oxford : Pergamon Press ; Warszawa : PWN, 1963 |
Descrizione fisica | xi, 127 p. ; 22 cm. |
Disciplina | 511.3 |
Altri autori (Persone) | Wojtasiewicz, Olgierd |
Collana | International series in pure and applied mathematics ; 31 |
Soggetto topico |
Mathematical logic
Mathematical logic and foundations |
Classificazione |
AMS 03-01
AMS 03-XX |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000855539707536 |
Lukasiewicz, Jan
![]() |
||
Oxford : Pergamon Press ; Warszawa : PWN, 1963 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Introduction to mathematical logic / Gerson B. Robison |
Autore | Robison, Gerson B. |
Pubbl/distr/stampa | Englewood Cliffs : Prentice-Hall, c1969 |
Descrizione fisica | xi, 212 p. ; 23 cm |
Disciplina | 511.3 |
Soggetto topico |
Mathematical logic
Mathematical logic and foundations |
Classificazione |
AMS 03-01
AMS 03-XX |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001021039707536 |
Robison, Gerson B.
![]() |
||
Englewood Cliffs : Prentice-Hall, c1969 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
The L.E.J. Brouwer Centenary Symposium : proc. of the conf. held in Noordwijkerhout, 8-13 June 1981 / eds. A. S. Troelstra, D. van Dalen |
Autore | Brouwer, Luitzen Egbert Jan |
Pubbl/distr/stampa | Amsterdam ; New York : North-Holland, 1982 |
Descrizione fisica | ix, 523 p. ; 23 cm. |
Disciplina | 511.3 |
Altri autori (Persone) |
Dalen, Dirk vanauthor
Troelstra, A. S.author |
Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 110 |
Soggetto topico |
Brouwer, Luitzen Egbertus Jan
Constructive mathematics - Congresses Intuitionistic mathematics - Congresses Mathematical logic and foundations |
ISBN | 0444864946 |
Classificazione |
AMS 03-06
QA9.56 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001072839707536 |
Brouwer, Luitzen Egbert Jan
![]() |
||
Amsterdam ; New York : North-Holland, 1982 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Lezioni di logica matematica / Gabriele Lolli |
Autore | Lolli, Gabriele |
Pubbl/distr/stampa | Torino : Boringhieri, [1978] |
Descrizione fisica | 199 p. ; 21 cm. |
Disciplina | 511.3 |
Collana | Lezioni e seminari |
Soggetto topico | Mathematical logic and foundations |
Classificazione |
AMS 03-01
AMS 03-XX |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991001077189707536 |
Lolli, Gabriele
![]() |
||
Torino : Boringhieri, [1978] | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
La logique et le quotidien : une analyse dialgique des mecanismes d'argumentation / Gilbert Dispaux |
Autore | Dispaux, Gilbert |
Pubbl/distr/stampa | Paris : Les editions de minuit, 1984 |
Descrizione fisica | 188 p. ; 23 cm. |
Disciplina | 511.3 |
Soggetto topico | Mathematical logic and foundations |
ISBN | 2707306908 |
Classificazione | AMS 03-XX |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ||| |
Record Nr. | UNISALENTO-991001096839707536 |
Dispaux, Gilbert
![]() |
||
Paris : Les editions de minuit, 1984 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Mathematical logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Thomas Wolfgang |
Autore | Ebbinghaus, Heinz-Dieter |
Pubbl/distr/stampa | New York ; Berlin ; Heidelberg : Springer-Verlag, c1984 |
Descrizione fisica | ix, 216 p. ; 24 cm |
Disciplina | 511.3 |
Altri autori (Persone) |
Flum, Jorgauthor
Thomas, Wolfgangauthor |
Collana | Undergraduate texts in mathematics, 0172-6056 |
Soggetto topico | Mathematical logic and foundations |
ISBN | 0387908951 |
Classificazione |
AMS 03-01
AMS 03-XX LC QA9.E2213 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001112809707536 |
Ebbinghaus, Heinz-Dieter
![]() |
||
New York ; Berlin ; Heidelberg : Springer-Verlag, c1984 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Mathematical logic and the foundations of mathematics : an introductory survey / G. T. Kneebone |
Autore | Kneebone, G. T. |
Pubbl/distr/stampa | Princeton, NJ : Van Nostrand Reinhold Co., c1963 |
Descrizione fisica | xiv, 435 p. ; 23 cm. |
Disciplina | 511.3 |
Soggetto topico |
Mathematical logic
Mathematical logic and foundations |
Classificazione |
AMS 03-01
AMS 03-XX |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001112539707536 |
Kneebone, G. T.
![]() |
||
Princeton, NJ : Van Nostrand Reinhold Co., c1963 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|