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.
Categorie, universi e principi di riflessione / Gabriele Lolli
| Categorie, universi e principi di riflessione / Gabriele Lolli |
| Autore | Lolli, Gabriele |
| Pubbl/distr/stampa | Torino : Boringhieri, 1977 |
| Descrizione fisica | 92 p. ; 21 cm |
| Disciplina | 511.3 |
| Collana | Lezioni e seminari |
| Soggetto topico |
Mathematical logic and foundations
Logica matematica |
| Classificazione |
AMS 03-01
AMS 03-XX |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000735749707536 |
Lolli, Gabriele
|
||
| Torino : Boringhieri, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
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 | ||
| ||
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman
| Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman |
| Autore | Richman, Fred |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
| Descrizione fisica | vi, 347 p. ; 25 cm. |
| Disciplina |
510
511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 873 |
| Soggetto topico |
Constructive mathematics - Congresses
Intuitionistic mathematics - Congresses Mathematical logic and foundations - Congresses Proof theory - Congresses |
| ISBN | 3540108505 |
| Classificazione |
AMS 03-06
AMS 03-XX AMS 03F |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000784719707536 |
|
Richman, Fred
|
||
| Berlin : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
A course in mathematical logic / Yu. I. Manin; transl. by Neal Koblitz
| A course in mathematical logic / Yu. I. Manin; transl. by Neal Koblitz |
| Autore | Manin, Yuri I. |
| Pubbl/distr/stampa | New York : Springer-Verlag, 1977 |
| Descrizione fisica | xiii, 286 p. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Koblitz, Neal |
| Collana | Graduate texts in mathematics, 0072-5285 ; 53 |
| Soggetto topico | Mathematical logic |
| ISBN | 0387902430 |
| Classificazione |
AMS 03-01
AMS 03-XX AMS 03B AMS 03F QA9.M296 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000798399707536 |
|
Manin, Yuri I.
|
||
| New York : Springer-Verlag, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Discrete and computational geometry : papers from the DIMACS special year / Jacob E. Goodman, Richard Pollack, William Steiger, editors
| Discrete and computational geometry : papers from the DIMACS special year / Jacob E. Goodman, Richard Pollack, William Steiger, editors |
| Autore | DIMACS <Group> |
| Pubbl/distr/stampa | Providence, RI : American Mathematical Society ; Baltimore, Md : Association for Computing Machinery, c1991 |
| Descrizione fisica | x, 378 p. : ill. ; 26 cm |
| Disciplina | 516 |
| Altri autori (Persone) |
Goodman, Jacob E.author
Pollack, Richardauthor Steiger, William L. |
| Altri autori (Enti) |
American Mathematical Society
Association for Computing Machinery |
| Collana | DIMACS series in discrete mathematics and theoretical computer science, 1052-798 ; 6 |
| Soggetto topico | Geometry-data processing - Congresses |
| ISBN |
0821865951 (AMS)
0897914643 (ACM) |
| Classificazione |
AMS 03-XX
AMS 05-XX AMS 12-XX AMS 13-XX AMS 14-XX AMS 15-XX AMS 32-XX AMS 51-06 AMS 52-XX AMS 57-XX AMS 68-XX QA448.D38D57 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000829219707536 |
|
DIMACS <Group>
|
||
| Providence, RI : American Mathematical Society ; Baltimore, Md : Association for Computing Machinery, c1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Elements of mathematical logic / Jan Lukasiewicz ; tranlated from Polish by Olgierd Wojtasiewicz
| Elements of mathematical logic / Jan Lukasiewicz ; tranlated from Polish by Olgierd Wojtasiewicz |
| Autore | Lukasiewicz, Jan |
| Edizione | [English ed] |
| Pubbl/distr/stampa | Oxford : Pergamon Press ; Warszawa : PWN, 1963 |
| Descrizione fisica | xi, 127 p. ; 22 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Wojtasiewicz, Olgierd |
| Collana | International series in pure and applied mathematics ; 31 |
| 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-991000855539707536 |
|
Lukasiewicz, Jan
|
||
| Oxford : Pergamon Press ; Warszawa : PWN, 1963 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Gli errori nelle dimostrazioni matematiche : imparare la matematica e la logica dagli errori (degli altri) [e-book] / Giorgio Balzarotti, Paolo P. Lava
| Gli errori nelle dimostrazioni matematiche : imparare la matematica e la logica dagli errori (degli altri) [e-book] / Giorgio Balzarotti, Paolo P. Lava |
| Autore | Balzarotti, Giorgio |
| Pubbl/distr/stampa | Milano : U. Hoepli, 2013 |
| Descrizione fisica | 1 online resource (xii, 176 p.) : illustrations |
| Disciplina | 511.3 |
| Altri autori (Persone) | Lava, Paolo P. |
| Soggetto topico |
Fallacies (Logic)
Mathematics - Problems, exercises, etc |
| ISBN |
9788820358051
9788820343361 |
| Classificazione |
LC QA459
AMS 03-01 AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991003819269707536 |
|
Balzarotti, Giorgio
|
||
| Milano : U. Hoepli, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
A first course in formal logic and its applications in computer science / R. D. Dowsing, V. J. Rayward-Smith, C. D. Walter
| A first course in formal logic and its applications in computer science / R. D. Dowsing, V. J. Rayward-Smith, C. D. Walter |
| Autore | Dowsing, Roy D. |
| Pubbl/distr/stampa | Boston ; Oxford : Blackwell Scientific Publ., 1986 |
| Descrizione fisica | vi, 265 p. : ill. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Rayward-Smith, V. J.
Walter, C. D. |
| Collana | Computer science texts |
| Soggetto topico |
Computer science
Mathematical logic Symbolic logic |
| ISBN | 0632013087 (pbk.) |
| Classificazione |
AMS 03-01
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991000893849707536 |
|
Dowsing, Roy D.
|
||
| Boston ; Oxford : Blackwell Scientific Publ., 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Fondamenti di logica per insegnanti / Tamas Varga
| Fondamenti di logica per insegnanti / Tamas Varga |
| Autore | Varga, Tamas |
| Edizione | [1st ed] |
| Pubbl/distr/stampa | Torino : Boringhieri, 1973 |
| Descrizione fisica | 194 p. ; 22 cm. |
| Disciplina | 511.3 |
| Collana | Didattica : proposte ed esperienze |
| Soggetto topico | Mathematical logic |
| Classificazione |
AMS 03-01
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000900459707536 |
|
Varga, Tamas
|
||
| Torino : Boringhieri, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Forcing, arithmetic, division rings / Joram Hirschfeld, William H. Wheeler
| Forcing, arithmetic, division rings / Joram Hirschfeld, William H. Wheeler |
| Autore | Hirschfeld, Joram |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
| Descrizione fisica | vii, 266 p. ; 25 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Wheeler, William H. |
| Collana | Lecture notes in mathematics, 0075-8434 ; 454 |
| Soggetto topico |
Division rings
Forcing Mathematical logic Model theory |
| ISBN | 3540071571 |
| Classificazione |
AMS 03-02
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000901159707536 |
|
Hirschfeld, Joram
|
||
| Berlin ; New York : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
