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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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.
![]() |
||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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
![]() |
||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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] | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|