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.
An outline of mathematical logic : fundamental results and notions explained with all details / by Andrzej Grzegorczyk
| An outline of mathematical logic : fundamental results and notions explained with all details / by Andrzej Grzegorczyk |
| Autore | Grzegorczyk, Andrzej |
| Pubbl/distr/stampa | Boston : D. Reidel Publ. Co., [1974] |
| Descrizione fisica | x, 596 p. : ill. ; 23 cm. |
| Disciplina | 511.3 |
| Soggetto topico | Symbolic logic |
| ISBN | 9027703590 |
| Classificazione |
AMS 03-01
AMS 03-XX |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001216329707536 |
Grzegorczyk, Andrzej
|
||
| Boston : D. Reidel Publ. Co., [1974] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
An outline of set theory / James M. Henle
| An outline of set theory / James M. Henle |
| Autore | Henle, James M. |
| Pubbl/distr/stampa | New York : Springer-Verlag, c1986 |
| Descrizione fisica | viii, 145 p. : ill. ; 24 cm. |
| Disciplina | 511.32 |
| Collana | Problem books in mathematics, 0941-3502 |
| Soggetto topico |
Set theory
Symbolic and mathematical logic |
| ISBN | 0387963685 |
| Classificazione |
AMS 03-01
AMS 03E20 QA248.H43 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001216409707536 |
|
Henle, James M.
|
||
| New York : Springer-Verlag, c1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Les portes des mathématiques : avec 139 figures / Paul Mathesius ; traduction et préface de L. Mengin-Lecreulx
| Les portes des mathématiques : avec 139 figures / Paul Mathesius ; traduction et préface de L. Mengin-Lecreulx |
| Autore | Mathesius, Paul |
| Pubbl/distr/stampa | Paris : Payot, 1954 |
| Descrizione fisica | 284 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Mengin-Lecreulx, L |
| Collana | Bibliothèque scientifique |
| Soggetto topico | Logic - Foundations |
| Classificazione | AMS 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002013559707536 |
|
Mathesius, Paul
|
||
| Paris : Payot, 1954 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Il primo libro di logica : introduzione ai metodi della logica contemporanea / Ermanno Bencivenga
| Il primo libro di logica : introduzione ai metodi della logica contemporanea / Ermanno Bencivenga |
| Autore | Bencivenga, Ermanno |
| Pubbl/distr/stampa | Torino : Boringhieri, 1984 |
| Descrizione fisica | 228 p. ; 21 cm |
| Disciplina |
160
511.3 |
| Collana | Testi e manuali della scienza contemporanea. Serie di logica matematica |
| Soggetto topico |
Logica
Mathematical logic and foundations |
| Classificazione | AMS 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000917639707536 |
|
Bencivenga, Ermanno
|
||
| Torino : Boringhieri, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Principi di matematica per il problem solving / Paolo Pisaneschi
| Principi di matematica per il problem solving / Paolo Pisaneschi |
| Autore | Pisaneschi, Paolo |
| Descrizione fisica | 147 p. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Quaderno didattico ; 2 |
| Soggetto topico | Mathematical logic |
| Classificazione |
AMS 03-01
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001240689707536 |
|
Pisaneschi, Paolo
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Principia mathematica : to *56 / by Alfred North Whitehead and Bertrand Russell
| Principia mathematica : to *56 / by Alfred North Whitehead and Bertrand Russell |
| Autore | Whitehead, Alfred North |
| Edizione | [[2nd ed.]] |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1927 (1980 repr.) |
| Descrizione fisica | xlvi, 410 p. ; 20 cm. |
| Disciplina | 510 |
| Altri autori (Persone) | Russell, Bertrand |
| Soggetto topico | Mathematical logic and foundations-textbooks |
| ISBN | 052109187X |
| Classificazione | AMS 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001240869707536 |
|
Whitehead, Alfred North
|
||
| Cambridge : Cambridge University Press, 1927 (1980 repr.) | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
La prova di Godel / Ernest Nagel, James R. Newman
| La prova di Godel / Ernest Nagel, James R. Newman |
| Autore | Nagel, Ernest |
| Pubbl/distr/stampa | Torino : Boringhieri, 1974 |
| Descrizione fisica | 108 p. ; 21 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Newman, James R. |
| Collana | Biblioteca di cultura scientifica |
| Soggetto topico | Mathematical logic and foundations - Textbooks |
| Classificazione |
AMS 03-01
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001271549707536 |
|
Nagel, Ernest
|
||
| Torino : Boringhieri, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
La prova di Gödel / Ernest Nagel e James R. Newman
| La prova di Gödel / Ernest Nagel e James R. Newman |
| Autore | Nagel, Ernest, 1901-1985 |
| Pubbl/distr/stampa | Torino : Boringhieri, 1961 |
| Descrizione fisica | 104 p. ; 22 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Newman, James R. |
| Collana | Biblioteca di cultura scientifica ; 14 |
| Soggetto topico |
Matematica - Teorie
Mathematical logic and foundations - Textbooks Gödel's theorem |
| Classificazione |
LC QA9.65
AMS 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991004085539707536 |
|
Nagel, Ernest, 1901-1985
|
||
| Torino : Boringhieri, 1961 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The real numbers : an introduction to set theory and analysis / John Stillwell
| The real numbers : an introduction to set theory and analysis / John Stillwell |
| Autore | Stillwell, John |
| Pubbl/distr/stampa | Cham [etc.] : Springer, c2013 |
| Descrizione fisica | xvi, 244 p. : ill., portraits ; 24 cm |
| Disciplina | 511.322 |
| Collana | Undergraduate texts in mathematics |
| Soggetto topico |
Numbers, Real
Mathematical analysis |
| ISBN | 9783319015767 |
| Classificazione |
AMS 26-01
AMS 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002609129707536 |
|
Stillwell, John
|
||
| Cham [etc.] : Springer, c2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Schaum's outline of theory and problems of finite mathematics / by Seymour Lipschutz
| Schaum's outline of theory and problems of finite mathematics / by Seymour Lipschutz |
| Autore | Lipschutz, Seymour |
| Pubbl/distr/stampa | New York : McGraw-Hill, c1966 |
| Descrizione fisica | 339 p. ; 28 cm. |
| Disciplina | 510 |
| Collana | Schaum's outline series |
| Soggetto topico | Mathematics-addresses, essays, lectures |
| Classificazione |
AMS 00A05
AMS 03-01 AMS 15-01 AMS 60-01 AMS 90C AMS 90D |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001313419707536 |
|
Lipschutz, Seymour
|
||
| New York : McGraw-Hill, c1966 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
