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.
Advances in linear logic : Linear Logic Workshop, Cornell University, Ithaca, New York : USA, June 14-18, 1993 / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
| Advances in linear logic : Linear Logic Workshop, Cornell University, Ithaca, New York : USA, June 14-18, 1993 / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, c1995 |
| Descrizione fisica | vi, 389 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Collana | London Mathematical Society lecture note series |
| Soggetto non controllato | Logica lineare - Congressi |
| ISBN | 0-521-55961-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001359470403321 |
| Cambridge : Cambridge University Press, c1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
| Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier |
| Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 1995 |
| Descrizione fisica | vi, 389 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Girard, Jean-Yves
Lafont, Yves Regnier, Laurent |
| Altri autori (Convegni) | Linear logic workshop <1993 ; Mathematical Sciences Institute, Cornell University> |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 222 |
| Soggetto topico | Symbolic and mathematical logic - Congresses |
| ISBN | 0521559618 |
| Classificazione |
AMS 03-06
AMS 68-06 AMS 68N15 QA9.A1L56 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000647729707536 |
| Cambridge ; New York : Cambridge University Press, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
La prova di Godel / Ernest Nagel e James R. Newman ; con un saggio di Jean-Yves Girard
| La prova di Godel / Ernest Nagel e James R. Newman ; con un saggio di Jean-Yves Girard |
| Autore | Nagel, Ernest <matematico ; <1901-1985 |
| Pubbl/distr/stampa | Torino : Bollati Boringhieri, 1992 |
| Descrizione fisica | 137 p. ; 19 cm |
| Disciplina | 511.3 |
| Collana | Universale Bollati Boringhieri, Serie scientifica |
| ISBN | 88-339-0309-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990004634220403321 |
Nagel, Ernest <matematico ; <1901-1985
|
||
| Torino : Bollati Boringhieri, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
La prova di Gödel / Ernest Nagel ; James R. Newman ; con un saggio di Jean-Yves Girard
| La prova di Gödel / Ernest Nagel ; James R. Newman ; con un saggio di Jean-Yves Girard |
| Autore | Nagel, Ernest |
| Pubbl/distr/stampa | Torino : Bollati Boringhieri, 1992 |
| Descrizione fisica | 144 p. ; 19 cm |
| Collana | Serie scientifica |
| ISBN | 8833903095 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISOB-E600200031795 |
|
Nagel, Ernest
|
||
| Torino : Bollati Boringhieri, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
Proofs and Types / Jean-Yves Girard
| Proofs and Types / Jean-Yves Girard |
| Autore | Girard, Jean-Yves |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1989 |
| Descrizione fisica | XI, 176 p., 26 cm |
| Disciplina | 511.3 |
| Collana | Cambridge tracts in theoretical computer science |
| Soggetto non controllato |
Teoria della dimostrabilita
Logica combinatoria e calcolo lambda Logica di programmazione |
| ISBN | 0-521-37181-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001318070403321 |
|
Girard, Jean-Yves
|
||
| Cambridge : Cambridge University Press, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
La prova di Gödel / Ernest Nagel, James R. Newman ; con un saggio di Jean-Yves Girard
| La prova di Gödel / Ernest Nagel, James R. Newman ; con un saggio di Jean-Yves Girard |
| Autore | Nagel, Ernest, 1901-1985 |
| Edizione | [2. ed.] |
| Pubbl/distr/stampa | Torino : Bollati Boringhieri, 1992 |
| Descrizione fisica | 137 p. ; 19 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Newman, James Roy
Girard, Jean-Yves |
| Collana | Universale Bollati Boringhieri. Serie scientifica ; 102 |
| Soggetto topico | Gödel's theorem |
| Classificazione | LC QA9.65 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991003529669707536 |
|
Nagel, Ernest, 1901-1985
|
||
| Torino : Bollati Boringhieri, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Typed lambda calculi and applications : International conference, TLCA '99: L'Aquila, Italy, April 7-9, 1999: proceedings / Jean-Yves Girard (ed.)
| Typed lambda calculi and applications : International conference, TLCA '99: L'Aquila, Italy, April 7-9, 1999: proceedings / Jean-Yves Girard (ed.) |
| Autore | International conference TLCA '99 : 4. : 1999 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1999 |
| Descrizione fisica | VIII, 396 p. : ill. ; 24 cm |
| Disciplina | 5113 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - l'aquila - 1999
logica matematica - congressi - 1999 |
| ISBN | 3-540-65763-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000208400203316 |
|
International conference TLCA '99 : 4. : 1999
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||