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.
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
