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.
Constructibility / Keith J. Devlin
| Constructibility / Keith J. Devlin |
| Autore | Devlin, Keith J. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1984 |
| Descrizione fisica | xi, 425 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Perspectives in mathematical logic |
| Soggetto topico |
Constructibility
Set theory |
| ISBN | 3540132589 |
| Classificazione |
AMS 03-02
AMS 03E05 AMS 03E10 AMS 03E25 AMS 03E35 AMS 03E45 AMS 04-02 AMS 04A25 AMS 04A30 QA248.D37 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991000783599707536 |
Devlin, Keith J.
|
||
| Berlin : Springer-Verlag, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Deviant logic : some philosophical issues / Susan Haack
| Deviant logic : some philosophical issues / Susan Haack |
| Autore | Haack, Susan |
| Pubbl/distr/stampa | London ; New York : Cambridge University Press, 1974 |
| Descrizione fisica | xii, 191 p. ; 23 cm. |
| Disciplina | 511.3 |
| Soggetto topico |
Intuition
Logic Philosophy Quantum theory |
| ISBN | 052120500X |
| Classificazione | AMS 03-02 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000812859707536 |
|
Haack, Susan
|
||
| London ; New York : Cambridge University Press, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Eine Termlogik mit Auswahloperator [e-book] / by Hans Hermes
| Eine Termlogik mit Auswahloperator [e-book] / by Hans Hermes |
| Autore | Hermes, Hans |
| Pubbl/distr/stampa | Berlin : Springer, 1965 |
| Descrizione fisica | 1 online resource (vi, 46 p.) |
| Disciplina | 510 |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 6 |
| Soggetto topico | Mathematics |
| ISBN | 9783540362036 |
| Classificazione |
AMS 03-02
AMS 03B AMS 03C80 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002499239707536 |
|
Hermes, Hans
|
||
| Berlin : Springer, 1965 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Forcing, arithmetic, division rings / Joram Hirschfeld, William H. Wheeler
| Forcing, arithmetic, division rings / Joram Hirschfeld, William H. Wheeler |
| Autore | Hirschfeld, Joram |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
| Descrizione fisica | vii, 266 p. ; 25 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Wheeler, William H. |
| Collana | Lecture notes in mathematics, 0075-8434 ; 454 |
| Soggetto topico |
Division rings
Forcing Mathematical logic Model theory |
| ISBN | 3540071571 |
| Classificazione |
AMS 03-02
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000901159707536 |
|
Hirschfeld, Joram
|
||
| Berlin ; New York : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Fundamentals of fuzzy sets / edited by Didier Dubois and Henri Prade ; foreword by Lotfi A. Zadeh
| Fundamentals of fuzzy sets / edited by Didier Dubois and Henri Prade ; foreword by Lotfi A. Zadeh |
| Pubbl/distr/stampa | Boston ; London ; Dordrecht : Kluwer Academic, c2000 |
| Descrizione fisica | xxi, 647 p. : ill. ; 25 cm |
| Disciplina | 511.322 |
| Altri autori (Persone) |
Dubois, Didier
Prade, Henri M. |
| Collana | The handbooks of fuzzy sets series ; FSHS 7 |
| Soggetto topico | Fuzzy sets |
| ISBN | 079237732X |
| Classificazione |
AMS 03E72
AMS 03-00 AMS 03-02 LC QA248.5.F86 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002463499707536 |
| Boston ; London ; Dordrecht : Kluwer Academic, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
General recursion theory : an axiomatic approach / Jens E. Fenstad
| General recursion theory : an axiomatic approach / Jens E. Fenstad |
| Autore | Fenstad, Jens Erik |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1980 |
| Descrizione fisica | xi, 225 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Perspectives in mathematical logic |
| Soggetto topico | Recursion theory |
| ISBN | 3540093494 |
| Classificazione |
AMS 03-02
AMS 03D75 QA9.6.F46 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991000928759707536 |
|
Fenstad, Jens Erik
|
||
| Berlin : Springer-Verlag, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
A graphic apology for symmetry and implicitness / Alessandra Carbone and Stephen Semmes
| A graphic apology for symmetry and implicitness / Alessandra Carbone and Stephen Semmes |
| Autore | Carbone, Alessandra |
| Pubbl/distr/stampa | Oxford ; New York : Oxford University Press, 2000 |
| Descrizione fisica | xvii, 501 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Semmes, Stephenauthor |
| Collana | Oxford mathematical monographs |
| Soggetto topico |
Computational complexity
Group theory Graph theory Machine theory |
| ISBN | 0198507291 |
| Classificazione |
AMS 03-02
LC QA267.7.C37 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001300739707536 |
|
Carbone, Alessandra
|
||
| Oxford ; New York : Oxford University Press, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematische Gesetze der Logik / von H. Arnold Schmidt
| Mathematische Gesetze der Logik / von H. Arnold Schmidt |
| Autore | Schmidt, H. Arnold |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1960 |
| Descrizione fisica | 555 p. : ill. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics, 0072-7830 ; 69 |
| Soggetto topico | Mathematical logic |
| Classificazione | AMS 03-02 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISALENTO-991001126759707536 |
|
Schmidt, H. Arnold
|
||
| Berlin : Springer-Verlag, 1960 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematische grundlagenforschung Intuitionismus Beweistheorie / A. Heyting
| Mathematische grundlagenforschung Intuitionismus Beweistheorie / A. Heyting |
| Autore | Heyting, A. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1934 (reprint 1974) |
| Descrizione fisica | iv, 73 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana |
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge ; 4
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 0071-1136 ; 4 = A series of modern surveys in mathematics, 0071-1136 ; 4 |
| Soggetto topico |
Mathematical logic
Proof theory |
| Classificazione |
AMS 03-02
AMS 03F |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISALENTO-991001127119707536 |
|
Heyting, A.
|
||
| Berlin : Springer-Verlag, 1934 (reprint 1974) | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theoretic methods in finite combinatorics : AMS-ASL joint special session, January 5-8, 2009, Washington, DC / Martin Grohe, Johann A. Makowsky, editors
| Model theoretic methods in finite combinatorics : AMS-ASL joint special session, January 5-8, 2009, Washington, DC / Martin Grohe, Johann A. Makowsky, editors |
| Autore | AMS-ASL Joint Special Session on Model Theoretic Methods in Finite Combinatorics <2009 : Washington, DC> |
| Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, c2011 |
| Descrizione fisica | viii, 519 p. : ill. ; 26 cm |
| Disciplina | 519.2 |
| Altri autori (Persone) |
Grohe, Martinauthor
Makowsky, Johann A. |
| Collana | Contemporary mathematics, 0271-4132 ; 558 |
| Soggetto topico |
Finite model theory - Congresses
Combinatorial probabilities - Congresses |
| ISBN | 9780821849439 |
| Classificazione |
AMS 03-02
AMS 05-02 AMS 68-02 LC QA9.7.M583 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001855759707536 |
|
AMS-ASL Joint Special Session on Model Theoretic Methods in Finite Combinatorics <2009 : Washington, DC>
|
||
| Providence, R. I. : American Mathematical Society, c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
