top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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-b10737728
Cambridge ; New York : Cambridge University Press, 1995
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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-b14347829
Nagel, Ernest, 1901-1985  
Torino : Bollati Boringhieri, 1992
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui