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.
Che cos'è la logica matematica? / John N. Crossley, Christopher J. Ash, Chris J. Brickhill, John C. Stillwell, Neil H. Williams ; traduzione di Teresa Pallucchini
| Che cos'è la logica matematica? / John N. Crossley, Christopher J. Ash, Chris J. Brickhill, John C. Stillwell, Neil H. Williams ; traduzione di Teresa Pallucchini |
| Autore | Ash, Christopher J. |
| Pubbl/distr/stampa | Torino : Boringhieri, 1976 |
| Descrizione fisica | 124 p. ; 19 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Brickhill, Chris J.
Crossley, John N.author Stillwell, John Williams Neil H. Pallucchini, Teresa |
| Collana | Universale scientifica ; 140 |
| Soggetto topico | Mathematical logic-textbooks |
| ISBN | 8833900118 |
| Classificazione |
AMS 03-01
AMS 03-XX |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000741349707536 |
Ash, Christopher J.
|
||
| Torino : Boringhieri, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Cours de logique mathématique / Roland Fraisse
| Cours de logique mathématique / Roland Fraisse |
| Autore | Fraisse, Roland |
| Edizione | [2me éd. rev. et modif] |
| Pubbl/distr/stampa | Paris : Gauthier-Villars, 1971-1972 |
| Descrizione fisica | 3 t. ; 23 cm. |
| Disciplina | 511.3 |
| Collana |
Collection de logique mathématique. Série A, monographies réunies par M.me P. Février ; 23
Collection de logique mathématique. Série A, monographies réunies par M.me P. Février ; 24 Collection de logique mathématique. Série A, monographies réunies par M.me P. Février ; 25 |
| Soggetto topico |
Mathematical logic-textbooks
Model theory |
| Classificazione |
AMS 03-01
AMS 03C |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNISALENTO-991000797079707536 |
|
Fraisse, Roland
|
||
| Paris : Gauthier-Villars, 1971-1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
A course in mathematical logic / by J. L. Bell and M. Machover
| A course in mathematical logic / by J. L. Bell and M. Machover |
| Autore | Bell, J.S. |
| Pubbl/distr/stampa | Amsterdam : North-Holland ; New York : sole distributors for the U.S.A. and Canada American Elsevier, 1977 |
| Descrizione fisica | xviii, 599 p. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Machover, Moshé |
| Soggetto topico |
Mathematical logic-textbooks
Symbolic logic |
| ISBN | 0720428440 |
| Classificazione | AMS 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000798309707536 |
|
Bell, J.S.
|
||
| Amsterdam : North-Holland ; New York : sole distributors for the U.S.A. and Canada American Elsevier, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Einfuhrung in die operative Logik und Mathematik / Paul Lorenzen
| Einfuhrung in die operative Logik und Mathematik / Paul Lorenzen |
| Autore | Lorenzen, Paul |
| Edizione | [2. Aufl] |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1969 |
| Descrizione fisica | 298 p. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics, 0072-7830 ; 78 |
| Soggetto topico |
Mathematical logic-textbooks
Symbolic logic |
| Classificazione | AMS 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISALENTO-991000843599707536 |
|
Lorenzen, Paul
|
||
| Berlin ; New York : Springer-Verlag, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
I fondamenti logici della matematica / E. W. Beth ; a cura di Ettore Casari
| I fondamenti logici della matematica / E. W. Beth ; a cura di Ettore Casari |
| Autore | Beth, Evert Willem |
| Pubbl/distr/stampa | Milano : Feltrinelli, 1963 |
| Descrizione fisica | xiii, 335 p. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Casari, Ettore |
| Collana | Filosofia della scienza ; 5 |
| Soggetto topico | Mathematical logic-textbooks |
| Classificazione | AMS 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000900739707536 |
|
Beth, Evert Willem
|
||
| Milano : Feltrinelli, 1963 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
