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.
Introduzione alla logica matematica / Elliott Mendelson
Introduzione alla logica matematica / Elliott Mendelson
Autore Mendelson, Elliott
Pubbl/distr/stampa Torino : Bollati Boringhieri, 1972
Descrizione fisica 353 p. ; 21 cm.
Disciplina 511.3
Collana Testi e manuali della scienza contemporanea. Serie di logica matematica
Soggetto topico Mathematical logic - Textbooks
Symbolic logic
ISBN 8833952843
Classificazione AMS 03-01
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991003685959707536
Mendelson, Elliott  
Torino : Bollati Boringhieri, 1972
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Kurt Godel : collected works / Kurt Godel ; edited by Solomon Feferman ... [et al.]
Kurt Godel : collected works / Kurt Godel ; edited by Solomon Feferman ... [et al.]
Autore Godel, Kurt
Pubbl/distr/stampa New York ; Oxford : Oxford Univ. Press ; Clarendon Press, 1986-1995
Descrizione fisica 3 v. : port. ; 25 cm
Disciplina 510
Altri autori (Persone) Feferman, Solomon
Soggetto (Persona) Godel, Kurt Collected works
Soggetto topico Mathematical logic
Symbolic logic
ISBN 0195039645 (v.1)
0195039726 (v.2)
0195072553 (v.3)
Classificazione AMS 00A10 (1985)
LC QA9.G5313
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001055249707536
Godel, Kurt  
New York ; Oxford : Oxford Univ. Press ; Clarendon Press, 1986-1995
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Logic and algorithms : with applications to the computer and information sciences / Robert R. Korfhage
Logic and algorithms : with applications to the computer and information sciences / Robert R. Korfhage
Autore Korfhage, Robert R.
Descrizione fisica xii, 194 p. : ill. ; 24 cm.
Disciplina 001.64
Soggetto topico Algorithms
Boolean algebras
Switching theory
Symbolic logic
Classificazione AMS 03G05
AMS 94C10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001093669707536
Korfhage, Robert R.  
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Logic for mathematicians / A. G. Hamilton
Logic for mathematicians / A. G. Hamilton
Autore Hamilton, Alan G.
Pubbl/distr/stampa Cambridge [Eng.] : Cambridge University Press, 1978
Descrizione fisica viii, 224 p. : ill. ; 23 cm.
Disciplina 511.3
Soggetto topico Mathematical logic
Symbolic logic
ISBN 0521292913
Classificazione AMS 03-01
AMS 03-XX
QA9.H298
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001095059707536
Hamilton, Alan G.  
Cambridge [Eng.] : Cambridge University Press, 1978
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Logique sans peine / Lewis Carrol ; traduction et présentation de Jean Gattegno et Ernest Coumet
Logique sans peine / Lewis Carrol ; traduction et présentation de Jean Gattegno et Ernest Coumet
Autore Carroll, Lewis
Pubbl/distr/stampa Paris : Hermann, 1966
Descrizione fisica 288 p. ; 21 cm.
Disciplina 511.3
Soggetto topico Collected works
Symbolic logic
Classificazione AMS 03-03
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNISALENTO-991001096999707536
Carroll, Lewis  
Paris : Hermann, 1966
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Mathematical logic / Stephen Cole Kleene
Mathematical logic / Stephen Cole Kleene
Autore Kleene, Stephen Cole
Descrizione fisica xiii, 398 p. : ill. ; 24 cm
Disciplina 511.3
Soggetto topico Mathematical logic
Symbolic logic
Classificazione AMS 03-01
AMS 03-XX
LC QA9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001112879707536
Kleene, Stephen Cole  
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Mathematical logic / J. Donald Monk
Mathematical logic / J. Donald Monk
Autore Monk, James Donald
Pubbl/distr/stampa New York : Springer-Verlag, 1976
Descrizione fisica x, 531 p. ; 25 cm
Disciplina 511.3
Collana Graduate texts in mathematics, 0072-5285 ; 37
Soggetto topico Mathematical logic - Textbooks
Symbolic logic
ISBN 0387901701
Classificazione AMS 03-01
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001112949707536
Monk, James Donald  
New York : Springer-Verlag, 1976
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Mathematical logic / Joseph R. Shoenfield
Mathematical logic / Joseph R. Shoenfield
Autore Shoenfield, Joseph R.
Pubbl/distr/stampa Reading, Mass. : Addison-Wesley, c1967
Descrizione fisica vii, 344 p. : ill. ; 25 cm
Disciplina 511.3
Collana Addison-Wesley series in logic
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-991001113009707536
Shoenfield, Joseph R.  
Reading, Mass. : Addison-Wesley, c1967
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Notes on logic and set theory / P. T. Johnstone
Notes on logic and set theory / P. T. Johnstone
Autore Johnstone, Peter T.
Pubbl/distr/stampa Cambridge : Cambridge University Press, 1987
Descrizione fisica x, 110 p. ; 22 cm.
Disciplina 511.3
Soggetto topico Mathematical logic
Set theory
Symbolic logic
ISBN 0521336929
Classificazione AMS 03-XX
AMS 03E
QA9.J64
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001183239707536
Johnstone, Peter T.  
Cambridge : Cambridge University Press, 1987
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
An outline of mathematical logic : fundamental results and notions explained with all details / by Andrzej Grzegorczyk
An outline of mathematical logic : fundamental results and notions explained with all details / by Andrzej Grzegorczyk
Autore Grzegorczyk, Andrzej
Pubbl/distr/stampa Boston : D. Reidel Publ. Co., [1974]
Descrizione fisica x, 596 p. : ill. ; 23 cm.
Disciplina 511.3
Soggetto topico Symbolic logic
ISBN 9027703590
Classificazione AMS 03-01
AMS 03-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001216329707536
Grzegorczyk, Andrzej  
Boston : D. Reidel Publ. Co., [1974]
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui