Matematica senza numeri / Giuliano Spirito |
Autore | Spirito, Giuliano |
Pubbl/distr/stampa | Roma : Newton Compton, 1995 |
Descrizione fisica | 92 p. : ill. ; 19 cm |
Disciplina | 511.3 |
Collana | Il sapere. Enciclopedia tascabile 56 |
Soggetto topico | Mathematics - Logic |
ISBN | 8879838148 |
Classificazione | AMS 03-01 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991002892269707536 |
Spirito, Giuliano
![]() |
||
Roma : Newton Compton, 1995 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Matematiche elementari da un punto di vista superiore / lezioni tenute all'Università di Bologna da Ettore Carruccio ; a cura di Bruno D'Amore |
Autore | Carruccio, Ettore |
Edizione | [2. ed.] |
Pubbl/distr/stampa | Bologna : Pitagora, c1972 |
Descrizione fisica | iv, 350 p. ; 24 cm |
Disciplina | 510 |
Altri autori (Persone) | D'Amore, Bruno |
Soggetto topico |
Didactis of mathematics
Foundations of mathematics |
Classificazione |
AMS 00A35
AMS 01-01 AMS 03-01 ZDM E00 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991001107249707536 |
Carruccio, Ettore
![]() |
||
Bologna : Pitagora, c1972 | ||
![]() | ||
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 / Stephen Cole Kleene |
Autore | Kleene, Stephen Cole |
Descrizione fisica | xiii, 398 p. : ill. ; 24 cm |
Disciplina | 511.3 |
Soggetto topico |
Mathematical logic
Symbolic logic |
Classificazione |
AMS 03-01
AMS 03-XX LC QA9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001112879707536 |
Kleene, Stephen Cole
![]() |
||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Mathematical logic / J. Donald Monk |
Autore | Monk, James Donald |
Pubbl/distr/stampa | New York : Springer-Verlag, 1976 |
Descrizione fisica | x, 531 p. ; 25 cm |
Disciplina | 511.3 |
Collana | Graduate texts in mathematics, 0072-5285 ; 37 |
Soggetto topico |
Mathematical logic - Textbooks
Symbolic logic |
ISBN | 0387901701 |
Classificazione | AMS 03-01 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001112949707536 |
Monk, James Donald
![]() |
||
New York : Springer-Verlag, 1976 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Mathematical logic / Joseph R. Shoenfield |
Autore | Shoenfield, Joseph R. |
Pubbl/distr/stampa | Reading, Mass. : Addison-Wesley, c1967 |
Descrizione fisica | vii, 344 p. : ill. ; 25 cm |
Disciplina | 511.3 |
Collana | Addison-Wesley series in logic |
Soggetto topico |
Mathematical logic - Textbooks
Symbolic logic |
Classificazione | AMS 03-01 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001113009707536 |
Shoenfield, Joseph R.
![]() |
||
Reading, Mass. : Addison-Wesley, c1967 | ||
![]() | ||
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 | ||
|
Mathematical logic with special reference to the natural numbers / [by] S. W. P. Steen |
Autore | Steen, S. W. P. |
Pubbl/distr/stampa | Cambridge [Eng.] : Cambridge University Press, 1972 |
Descrizione fisica | xvi, 638 p. ; 24 cm. |
Disciplina | 511.3 |
Soggetto topico |
Natural numbers
Symbolic and mathematical logic |
ISBN | 0521080533 |
Classificazione |
AMS 03-01
QA9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001112749707536 |
Steen, S. W. P.
![]() |
||
Cambridge [Eng.] : Cambridge University Press, 1972 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Mondi della logica / Ettore Carruccio |
Autore | Carruccio, Ettore |
Pubbl/distr/stampa | Bologna : Zanichelli, c1971 |
Descrizione fisica | 152 p. ; 18 cm. |
Disciplina | 511.3 |
Collana | Matematica moderna ; 9 |
Soggetto topico | Mathematical logic-textbooks |
Classificazione | AMS 03-01 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991001157719707536 |
Carruccio, Ettore
![]() |
||
Bologna : Zanichelli, c1971 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Notes on logic / by Roger C. Lyndon |
Autore | Lyndon, Roger C. |
Pubbl/distr/stampa | Princeton : Van Nostrand Reinhold Co., c1966 |
Descrizione fisica | 97 p. ; 20 cm. |
Disciplina | 511.3 |
Collana | Van Nostrand mathematical studies ; 6 |
Soggetto topico | Mathematical logic-textbooks |
Classificazione | AMS 03-01 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001183169707536 |
Lyndon, Roger C.
![]() |
||
Princeton : Van Nostrand Reinhold Co., c1966 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|