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)
A formalization of set theory without variables / Alfred Tarski, Steven Givant
A formalization of set theory without variables / Alfred Tarski, Steven Givant
Autore Tarski, Alfred
Pubbl/distr/stampa Providence, R. I. : American Mathematical Society, 1987
Descrizione fisica xxi, 318 p. ; 26 cm
Disciplina 511.322
Altri autori (Persone) Givant, Steven R.author
Collana Colloquium publications, 0065-9258 ; 41
Soggetto topico Mathematical logic
Set theory
Symbolic logic
ISBN 0821810413
Classificazione AMS 03B
AMS 03B30
AMS 03C05
AMS 03E30
AMS 03G15
QA248.T37
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000902259707536
Tarski, Alfred  
Providence, R. I. : American Mathematical Society, 1987
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Grundlagen der Mathematik / D. Hilbert und P. Bernays
Grundlagen der Mathematik / D. Hilbert und P. Bernays
Autore Hilbert, David
Edizione [2. Aufl]
Pubbl/distr/stampa Berlin : Springer-Verlag, 1968-70
Descrizione fisica 2 v. ; 24 cm.
Disciplina 510.9
Altri autori (Persone) Bernays, Paul
Collana Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics, 0072-7830 ; 40
Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics, 0072-7830 ; 50
Soggetto topico Collected works
Mathematics-philosophy
Symbolic logic
Classificazione AMS 03-03
AMS 03-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNISALENTO-991000966689707536
Hilbert, David  
Berlin : Springer-Verlag, 1968-70
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Grundzge der theoretischen Logik / D. Hilbert und W. Ackermann
Grundzge der theoretischen Logik / D. Hilbert und W. Ackermann
Autore Hilbert, David
Edizione [6. Aufl]
Pubbl/distr/stampa Berlin : Springer-Verlag, 1972
Descrizione fisica viii, 188 p. : ill. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Ackermann, W.
Collana Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics, 0072-7830 ; 27
Soggetto topico Mathematical logic-textbooks
Reprintings of classics
Symbolic logic
ISBN 3540058435
Classificazione AMS 03-01
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNISALENTO-991000966939707536
Hilbert, David  
Berlin : Springer-Verlag, 1972
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H. J. Keisler ... [et al]
Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H. J. Keisler ... [et al]
Autore Barwise, Jon
Edizione [1st ed]
Pubbl/distr/stampa Amsterdam : North-Holland, 1993
Descrizione fisica xi, 1165 p. ; 23 cm.
Disciplina 511.3
Altri autori (Persone) Keisler, H. Jerome
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X ; 90
Soggetto topico Mathematical logic-textbooks
Symbolic and mathematical logic
Symbolic logic
ISBN 072042285X
0444863885 (pbk)
Classificazione AMS 03-00
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000973279707536
Barwise, Jon  
Amsterdam : North-Holland, 1993
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
An introduction to Hilbert space and quantum logic / David W. Cohen
An introduction to Hilbert space and quantum logic / David W. Cohen
Autore Cohen, David W.
Pubbl/distr/stampa New York : Springer-Verlag, 1989
Descrizione fisica xii, 149 p. ; 24 cm.
Disciplina 515.733
Collana Problem books in mathematics, 0941-3502
Soggetto topico Hilbert spaces
Mathematical logic
Quantum theory
Symbolic logic
ISBN 0387968709
Classificazione AMS 35P05
AMS 46C
AMS 47A25
AMS 47B15
AMS 81B (1985)
QA322.4.C64
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001017919707536
Cohen, David W.  
New York : Springer-Verlag, 1989
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Introduction to mathematical logic / Hans Hermes ; translated from german by Diana Schmidt
Introduction to mathematical logic / Hans Hermes ; translated from german by Diana Schmidt
Autore Hermes, Hans
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1973
Descrizione fisica xi, 242 p. ; 26 cm.
Disciplina 511.3
Collana Universitext
Soggetto topico Mathematical logic-textbooks
Symbolic logic
ISBN 3540058192
Classificazione AMS 03-01
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001020799707536
Hermes, Hans  
Berlin ; New York : Springer-Verlag, 1973
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Autore Malitz, Jerome
Pubbl/distr/stampa New York : Springer-Verlag, 1979
Descrizione fisica xii, 198 p. ; 25 cm.
Disciplina 511.3
Collana Undergraduate texts in mathematics, ISSN 01726056
Soggetto topico Symbolic logic
ISBN 0387903461
Classificazione AMS 03-01
AMS 03-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001020869707536
Malitz, Jerome  
New York : Springer-Verlag, 1979
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Introduction to mathematical logic / Elliott Mendelson
Introduction to mathematical logic / Elliott Mendelson
Autore Mendelson, Elliott
Pubbl/distr/stampa Princeton : Van Nostrand Reinhold Co., c1964
Descrizione fisica x, 300 p. ; 24 cm.
Disciplina 511.3
Collana The University series in undergraduate mathematics ; 13
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-991001020959707536
Mendelson, Elliott  
Princeton : Van Nostrand Reinhold Co., c1964
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews
Autore Andrews, Peter B.
Pubbl/distr/stampa Orlando : Academic Press, 1986
Descrizione fisica xv, 304 p. ; 23 cm.
Disciplina 511.3
Collana Computer science and applied mathematics
Soggetto topico Mathematical logic
Symbolic logic
Type theory
ISBN 0120585367
Classificazione AMS 03-01
AMS 03-XX
AMS 03B
QA9.A638
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001020619707536
Andrews, Peter B.  
Orlando : Academic Press, 1986
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Introduction to the foundations of mathematics / Raymond L. Wilder
Introduction to the foundations of mathematics / Raymond L. Wilder
Autore Wilder, Raymond Louis
Edizione [2nd ed]
Descrizione fisica 305 p. ; 24 cm.
Disciplina 511.3
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-991001029209707536
Wilder, Raymond Louis  
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui