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)
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
Introduction to mathematical logic / Alonzo Church
Introduction to mathematical logic / Alonzo Church
Autore Church, Alonzo
Pubbl/distr/stampa Princeton : Princeton Univ. Press, 1956
Descrizione fisica v. ; 24 cm
Disciplina 511.3
Collana Princeton mathematical series, 0079-5194 ; 17
Soggetto topico Mathematical logic
ISBN 0691079846
Classificazione AMS 03-01
AMS 03-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001020699707536
Church, Alonzo  
Princeton : Princeton Univ. Press, 1956
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
Introduction to mathematical logic / Gerson B. Robison
Introduction to mathematical logic / Gerson B. Robison
Autore Robison, Gerson B.
Pubbl/distr/stampa Englewood Cliffs : Prentice-Hall, c1969
Descrizione fisica xi, 212 p. ; 23 cm
Disciplina 511.3
Soggetto topico Mathematical logic
Mathematical logic and foundations
Classificazione AMS 03-01
AMS 03-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001021039707536
Robison, Gerson B.  
Englewood Cliffs : Prentice-Hall, c1969
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 mathematical structures and proofs / Larry J. Gerstein
Introduction to mathematical structures and proofs / Larry J. Gerstein
Autore Gerstein, Larry J.
Pubbl/distr/stampa New York : Springer ; Sudbury, MA : Jones and Bartlett Publ., c1996
Descrizione fisica x, 350 p. : ill. ; 25 cm.
Disciplina 511.3
Collana Textbooks in mathematical sciences
Soggetto topico Symbolic and mathematical logic
ISBN 076370203X (Jones and Bartlett : hardcover : alk. paper)
0387979972 (Springer : hardcover : alk. paper)
Classificazione AMS 00A35
AMS 03-01
QA9.G358
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001021619707536
Gerstein, Larry J.  
New York : Springer ; Sudbury, MA : Jones and Bartlett Publ., c1996
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Introduction to metamathematics / Stephen Cole Kleene
Introduction to metamathematics / Stephen Cole Kleene
Autore Kleene, Stephen Cole
Pubbl/distr/stampa Groningen : Wolters-Noordhoff, reprint1971
Descrizione fisica x, 500 p. ; 23 cm.
Disciplina 511.3
Soggetto topico Mathematical logic-textbooks
Recursion theory
Classificazione AMS 03-01
AMS 03D
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001022609707536
Kleene, Stephen Cole  
Groningen : Wolters-Noordhoff, reprint1971
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
An introduction to non-classical logic : from if to is / Graham Priest
An introduction to non-classical logic : from if to is / Graham Priest
Autore Priest, Graham
Edizione [2nd ed.]
Pubbl/distr/stampa Cambridge ; New York : Cambridge University Press, 2008
Descrizione fisica xxxii, 613 p. ; 25 cm
Disciplina 511.3
Soggetto topico Nonclassical mathematical logic
ISBN 9780521670265
Classificazione AMS 03-01
AMS 03B20
AMS 03B45
AMS 03B50
LC QA9.4.P75
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001395879707536
Priest, Graham  
Cambridge ; New York : Cambridge University Press, 2008
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui