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.
Lectures on the Curry-Howard isomorphism / M.H. Sorensen, P. Urzyczyn
| Lectures on the Curry-Howard isomorphism / M.H. Sorensen, P. Urzyczyn |
| Autore | Sørensen, Morten Heine |
| Pubbl/distr/stampa | Amsterdam : Elsevier, c2006 |
| Descrizione fisica | xiv, 442 p. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Urzyczyn, Pawel |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato | Logica matematica |
| ISBN | 0-444-52077-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008452900403321 |
Sørensen, Morten Heine
|
||
| Amsterdam : Elsevier, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Les applications techniques de la logique / M. Touchais ; préface de M. G. Lehmann
| Les applications techniques de la logique / M. Touchais ; préface de M. G. Lehmann |
| Autore | Touchais, Maurice |
| Pubbl/distr/stampa | Paris : Dunod, 1956 |
| Descrizione fisica | XV, 81 p. ; 24 cm |
| Disciplina | 511.3 |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000085930403321 |
|
Touchais, Maurice
|
||
| Paris : Dunod, 1956 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Les fondements logiques des mathématiques / par E. W. Beth
| Les fondements logiques des mathématiques / par E. W. Beth |
| Autore | Beth, Evert Willem |
| Edizione | [2. éd. revue et augmentèe] |
| Pubbl/distr/stampa | Paris, : Gauthier-Villars ( (Louvain), : Nauwelaerts, 1955 |
| Descrizione fisica | XV, 241 p. : ill. ; 25 cm |
| Disciplina |
511.3
519 |
| Collana | Collection de logique mathématique, Série A |
| Soggetto non controllato |
Logica matematica
Fondamenti della logica matematica e probabilità |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-990000002460403321 |
|
Beth, Evert Willem
|
||
| Paris, : Gauthier-Villars ( (Louvain), : Nauwelaerts, 1955 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lezioni di logica matematica / Gabriele Lolli
| Lezioni di logica matematica / Gabriele Lolli |
| Autore | LOLLI, Gabriele |
| Pubbl/distr/stampa | Torino : Boringhieri, copyr. 1978 |
| Descrizione fisica | 199 p. : ill. ; 21 cm |
| Disciplina | 5113 |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000257880203316 |
|
LOLLI, Gabriele
|
||
| Torino : Boringhieri, copyr. 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Leȯns de logique algebrique / Haskell B. Curry
| Leȯns de logique algebrique / Haskell B. Curry |
| Autore | Curry, Haskell B. |
| Pubbl/distr/stampa | Paris : Gauthier-Villars ( (Louvain) : Nauwelaerts, 1952 |
| Descrizione fisica | 163 p. : ill. ; 25 cm |
| Disciplina | 511.3 |
| Collana | Collection de logique mathématique, Série A |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000006350403321 |
|
Curry, Haskell B.
|
||
| Paris : Gauthier-Villars ( (Louvain) : Nauwelaerts, 1952 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lineamenti di logica matematica / Ettore Casari
| Lineamenti di logica matematica / Ettore Casari |
| Autore | Casari, Ettore |
| Edizione | [7. ed.] |
| Pubbl/distr/stampa | Milano : Feltrinelli, 1982 |
| Descrizione fisica | 323 p. ; 23 cm |
| Collana | Filosofia della scienza |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNIPARTHENOPE-000014689 |
|
Casari, Ettore
|
||
| Milano : Feltrinelli, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Lineamenti di logica matematica / di Ettore Casari
| Lineamenti di logica matematica / di Ettore Casari |
| Autore | Casari, Ettore |
| Edizione | [4. ed.] |
| Pubbl/distr/stampa | Milano : Feltrinelli, 1967 |
| Descrizione fisica | 323 p. ; 23 cm |
| Collana | Filosofia della scienza |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001169310403321 |
|
Casari, Ettore
|
||
| Milano : Feltrinelli, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Linguaggi formali e compilazione / Stefano Crespi Reghizzi
| Linguaggi formali e compilazione / Stefano Crespi Reghizzi |
| Autore | Crespi Reghizzi, Stefano |
| Pubbl/distr/stampa | Bologna : Pitagora Editrice Bologna, c2006 |
| Descrizione fisica | VIII, 358 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Soggetto non controllato |
Logica matematica
Linguaggi formali |
| ISBN | 88-371-1632-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990008594630403321 |
|
Crespi Reghizzi, Stefano
|
||
| Bologna : Pitagora Editrice Bologna, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic for mathematicians / Barkley J. Rosser
| Logic for mathematicians / Barkley J. Rosser |
| Autore | Rosser, John Barkley <1907-1989> |
| Pubbl/distr/stampa | New York : McGraw-Hill, 1953 |
| Descrizione fisica | XIV, 530 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Soggetto non controllato |
Logica matematica
Matematica - Logica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000022180403321 |
| Rosser, John Barkley <1907-1989> | ||
| New York : McGraw-Hill, 1953 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
| Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan |
| Autore | Huth, Michael |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | New York : Cambridge University Press, c2004 |
| Descrizione fisica | XIV, 427 p. ; 25 cm |
| Disciplina | 0511.3 |
| Altri autori (Persone) | Ryan, Mark |
| Soggetto non controllato |
Logica matematica
Informatica |
| ISBN | 978-0-521-54310-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990010091460403321 |
|
Huth, Michael
|
||
| New York : Cambridge University Press, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
