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.
Foundational studies : selected works / Andrzej Mostowski ; editorial committee, Kazimierz Kuratowski ... [et al.]
| Foundational studies : selected works / Andrzej Mostowski ; editorial committee, Kazimierz Kuratowski ... [et al.] |
| Autore | Mostowski, Andrzej |
| Pubbl/distr/stampa | Amsterdam ; New York : North-Holland, 1979 - 2 v. ; 23 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Kuratowski, Kazimierz |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 93 |
| Soggetto topico |
Collected works
Mostowski, Andrzej-bibliography Symbolic logic-collected works Symbolic logic - Congresses |
| ISBN |
044485102X (v. 1)
0444851038 (v. 2) |
| Classificazione |
AMS 03-XX
QA9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000904169707536 |
Mostowski, Andrzej
|
||
| Amsterdam ; New York : North-Holland, 1979 - 2 v. ; 23 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Introduction to mathematical logic / Elliott Mendelson
| Introduction to mathematical logic / Elliott Mendelson |
| Autore | Mendelson, Elliott |
| Pubbl/distr/stampa | New York : Van Nostrand Reinhold Co., 1964 |
| Descrizione fisica | x, 300 p. ; 22 cm. |
| Soggetto topico | Logic |
| Classificazione |
164
510.02 QA9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001021149707536 |
|
Mendelson, Elliott
|
||
| New York : Van Nostrand Reinhold Co., 1964 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Intuitionism : an introduction / A. Heyting
| Intuitionism : an introduction / A. Heyting |
| Autore | Heyting, A. |
| Edizione | [[3rd rev. ed.]] |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1971 |
| Descrizione fisica | viii, 147 p. ; 23 cm. |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X |
| Soggetto topico | Intuitionistic mathematics |
| ISBN | 0720422396 |
| Classificazione |
AMS 03F55
QA9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001041029707536 |
|
Heyting, A.
|
||
| Amsterdam : North-Holland, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematical logic : an introduction to model theory / A.H. Lightstone
| Mathematical logic : an introduction to model theory / A.H. Lightstone |
| Autore | Lightstone, A.H. |
| Pubbl/distr/stampa | New York : Plenum Press, 1978 |
| Descrizione fisica | xiii, 338 p. ; 24 cm. |
| Soggetto topico |
Logic
Model theory |
| Classificazione |
510.02
511'.3 QA9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001071679707536 |
|
Lightstone, A.H.
|
||
| New York : Plenum Press, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematical logic with special reference to the natural numbers / [by] S. W. P. Steen
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||