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.
Dalla logica alla metalogica : scritti fondamentali di logica matematica / a cura di Ettore Casari
| Dalla logica alla metalogica : scritti fondamentali di logica matematica / a cura di Ettore Casari |
| Pubbl/distr/stampa | Firenze : Sansoni, 1979 |
| Descrizione fisica | 269 p. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Manuali Sansoni |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990005598170203316 |
| Firenze : Sansoni, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dalla logica della rilevanza alla logica condizionale / Claudio Pizzi
| Dalla logica della rilevanza alla logica condizionale / Claudio Pizzi |
| Autore | PIZZI, Claudio |
| Pubbl/distr/stampa | Roma : EUROMA, stampa 1987 |
| Descrizione fisica | 166 p. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Logica matematica |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000852840203316 |
PIZZI, Claudio
|
||
| Roma : EUROMA, stampa 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dalla matematica alla filosofia / Hao Wang
| Dalla matematica alla filosofia / Hao Wang |
| Autore | Wang, Hao |
| Pubbl/distr/stampa | Torino : Bollati Boringhieri, 1984 |
| Descrizione fisica | 448 p. ; 24 cm |
| Collana | Testi e manuali della scienza contemporanea. Serie di logica matematica |
| Soggetto topico |
Logica matematica
Matematica e filosofia |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991002518819707536 |
|
Wang, Hao
|
||
| Torino : Bollati Boringhieri, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Definition of programming languages by interpreting automata / Ollongren Alexander
| Definition of programming languages by interpreting automata / Ollongren Alexander |
| Autore | OLLONGREN, Alexander |
| Pubbl/distr/stampa | XI, 290 p. : ill., 23 cm |
| Descrizione fisica | London : Academic Press ; 1974 |
| Disciplina | 511.3 |
| Collana | APIC studies in data processing |
| Soggetto topico | Logica matematica |
| ISBN | 0-12-525750-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003225510203316 |
|
OLLONGREN, Alexander
|
||
| XI, 290 p. : ill., 23 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Degrees of unsolvability : structure and theory / Richard L. Epstein
| Degrees of unsolvability : structure and theory / Richard L. Epstein |
| Autore | Epstein, Richard L. |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1979 |
| Descrizione fisica | XIV, 240 p. : ill. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Logica matematica |
| ISBN | 3-540-09710-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000013094 |
|
Epstein, Richard L.
|
||
| Berlin [etc.] : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Degrees of unsolvability / Shoenfield Joseph R.
| Degrees of unsolvability / Shoenfield Joseph R. |
| Autore | SHOENFIELD, Joseph R. |
| Pubbl/distr/stampa | Amsterdam : North Holland, 1971 |
| Descrizione fisica | 111 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | North Holland mathematics studies |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003226630203316 |
|
SHOENFIELD, Joseph R.
|
||
| Amsterdam : North Holland, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dictionary of symbols of mathematical logic / edited by Robert Feys and Frederic B. Fitch ; A. Heyting...[et al.] (Eds.)
| Dictionary of symbols of mathematical logic / edited by Robert Feys and Frederic B. Fitch ; A. Heyting...[et al.] (Eds.) |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1973 |
| Descrizione fisica | XIV, 171 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto topico | Logica matematica |
| ISBN | 0-7204-2250-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003228870203316 |
| Amsterdam : North-Holland, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dispositivi logici per l'automazione / Narduzzo Valerio
| Dispositivi logici per l'automazione / Narduzzo Valerio |
| Autore | NARDUZZO, Valerio |
| Pubbl/distr/stampa | Milano : ETAS libri, 1979 |
| Descrizione fisica | 220 p. : ill. ; 21 cm |
| Disciplina | 511.3 |
| Collana | Biblioteca del tecnico |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990003225220203316 |
|
NARDUZZO, Valerio
|
||
| Milano : ETAS libri, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ecrits logiques / Jacques Herbrand ; avec une préface de Jean van Heijenoort ; une notice biographique par Claude Chevalley et Albert Lautmann ; et une notice sur la pensée de Herbrand par Claude Chevalley
| Ecrits logiques / Jacques Herbrand ; avec une préface de Jean van Heijenoort ; une notice biographique par Claude Chevalley et Albert Lautmann ; et une notice sur la pensée de Herbrand par Claude Chevalley |
| Autore | Herbrand, Jacques |
| Pubbl/distr/stampa | Paris : Presses Universitaires de France, 1968 |
| Descrizione fisica | 243 p. ; 21 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Heijenoort, Jean : van
Chevalley, Claude Lautmann, Albert |
| Collana | Bibliothèque de Philosophie Contemporaine |
| Soggetto topico |
Logica matematica
Logica matematica - Saggio critico |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNISALENTO-991002756179707536 |
|
Herbrand, Jacques
|
||
| Paris : Presses Universitaires de France, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Ecrits logiques / Jacques Herbrand ; avec une préface de Jean Van Heijenoort ; une notice biographique par Claude Chevalley et Albert Lautmann, et une note sur la pensée de Herbrand par Claude Chevalley
| Ecrits logiques / Jacques Herbrand ; avec une préface de Jean Van Heijenoort ; une notice biographique par Claude Chevalley et Albert Lautmann, et une note sur la pensée de Herbrand par Claude Chevalley |
| Autore | Herbrand, Jacques |
| Pubbl/distr/stampa | Paris : Presses universitaires de France, 1968 |
| Descrizione fisica | 244 p. : tav. ; 22 cm. |
| Disciplina | 511.3 |
| Collana | Bibliothéque de philosophie contemporaine. Logique et philosophie des sciences |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNISALENTO-991002756249707536 |
|
Herbrand, Jacques
|
||
| Paris : Presses universitaires de France, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Soggetto topico
-
Logica matematica
(552)
- Logica simbolica (32)
- Matematica - Teorie (10)
- Logica (8)
- Informatica (7)