top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui