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.

Biblioteca

MARC Lista (tabellare)
Combinatory Logic / by Curry,Hindlet and Seldin
Combinatory Logic / by Curry,Hindlet and Seldin
Autore Curry, Haskell B.
Pubbl/distr/stampa London [etc.] : North-Holland, 1972
Collana Studies in logic and the foundations of mathematics
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001142800403321
Curry, Haskell B.  
London [etc.] : North-Holland, 1972
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Introduction to combinators and [the lambda]-calculus] / J. Roger Hindley, Jonathan P. Seldin
Introduction to combinators and [the lambda]-calculus] / J. Roger Hindley, Jonathan P. Seldin
Autore Hindley, James R.
Pubbl/distr/stampa Cambridge, : Cambridge university, 1993
Descrizione fisica 360 p. : ill. ; 24 cm
Altri autori (Persone) Seldin, Jonathan Paul
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03B40 - Combinatory logic and lambda-calculus [MSC 2020]
ISBN 978-05-213-1839-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0055634
Hindley, James R.  
Cambridge, : Cambridge university, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduction to combinators and [the lambda]-calculus] / J. Roger Hindley, Jonathan P. Seldin
Introduction to combinators and [the lambda]-calculus] / J. Roger Hindley, Jonathan P. Seldin
Autore Hindley, James R.
Pubbl/distr/stampa Cambridge, : Cambridge university, 1993
Descrizione fisica 360 p. : ill. ; 24 cm
Altri autori (Persone) Seldin, Jonathan Paul
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03B40 - Combinatory logic and lambda-calculus [MSC 2020]
ISBN 978-05-213-1839-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00055634
Hindley, James R.  
Cambridge, : Cambridge university, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduction to combinators and [the lambda]-calculus / J. Roger Hindley, Jonathan P. Seldin
Introduction to combinators and [the lambda]-calculus / J. Roger Hindley, Jonathan P. Seldin
Autore Hindley, James R.
Pubbl/distr/stampa Cambridge, : Cambridge university, 1993
Descrizione fisica 360 p. : ill. ; 24 cm.
Altri autori (Persone) Seldin, Jonathan Paul
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03B40 - Combinatory logic and lambda-calculus [MSC 2020]
ISBN 978-05-213-1839-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0055634
Hindley, James R.  
Cambridge, : Cambridge university, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduction to combinatory logic / J.R. Hindley, B. Lercher and J.P. Seldin
Introduction to combinatory logic / J.R. Hindley, B. Lercher and J.P. Seldin
Autore Hindley, James Roger
Pubbl/distr/stampa Cambridge : Cambridge University Press, 1972
Descrizione fisica 170 p. ; 23 cm
Disciplina 160
Collana London Mathematical Society lecture note series
Soggetto non controllato Logica
Ricorsività
ISBN 0-521-09697-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001008290403321
Hindley, James Roger  
Cambridge : Cambridge University Press, 1972
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Introduzione alla logica combinatoria / J.R. Hindley, Bruce Lercher, J.P. Seldin
Introduzione alla logica combinatoria / J.R. Hindley, Bruce Lercher, J.P. Seldin
Autore Hindley, James Roger
Pubbl/distr/stampa Torino : Boringhieri, 1975
Descrizione fisica 53 p. ; 21 cm
Disciplina 160
Collana Testi e manuali della scienza contemporanea, Serie di logica matematica
Soggetto non controllato Logica
Ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990001008280403321
Hindley, James Roger  
Torino : Boringhieri, 1975
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Introduzione alla logica combinatoria / J. R. Hindley, Bruce Lercher, J. P. Seldin ; [Traduzione di Ferdinando Azzarello]
Introduzione alla logica combinatoria / J. R. Hindley, Bruce Lercher, J. P. Seldin ; [Traduzione di Ferdinando Azzarello]
Autore Hindley, James Roger
Pubbl/distr/stampa Torino : Boringhieri, 1975
Descrizione fisica 153 p. ; 21 cm
Disciplina 511.3
Altri autori (Persone) Seldin, Jonathan Paul
Lercher, Bruce
Collana Testi e manuali della scienza contemporanea, Serie di logica matematica
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNIBAS-000009032
Hindley, James Roger  
Torino : Boringhieri, 1975
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
To H.B. Curry : essays on combinatory logic, lambda calculus and formalism / edited by J.P. Seldin, J.R. Hindley
To H.B. Curry : essays on combinatory logic, lambda calculus and formalism / edited by J.P. Seldin, J.R. Hindley
Pubbl/distr/stampa London : Academic Press, 1980
Descrizione fisica xxv, 606 p. ; 24 cm
Disciplina 160
511.3
Soggetto non controllato Logica
Ricorsività
ISBN 0-12-349050-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001059990403321
London : Academic Press, 1980
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui