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)
Algebra of proofs / M. E. Szabo
Algebra of proofs / M. E. Szabo
Autore Szabo, M. E.
Pubbl/distr/stampa Amsterdam : North-Holland, 1978
Descrizione fisica xii, 297 p. ; 23 cm.
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X ; 88
Soggetto topico Categories
Combinatory logic
Proof theory
ISBN 0720422868
Classificazione AMS 03F
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000654389707536
Szabo, M. E.  
Amsterdam : North-Holland, 1978
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Combinatory logic / Haskell B. Curry, Robert Feys, J. Roger Hindley, Jonathan P. Seldin ; with two sections by William Craig
Combinatory logic / Haskell B. Curry, Robert Feys, J. Roger Hindley, Jonathan P. Seldin ; with two sections by William Craig
Autore Curry, Haskell B.
Pubbl/distr/stampa Amsterdam : North-Holland, 1958-1972
Descrizione fisica 2 v. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Feys, Robertauthor
Hindley, J. Roger
Seldin, Jonathan P.
Craig, William
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X
Soggetto topico Combinatory logic
ISBN 0720422086 (v. 2)
Classificazione AMS 03B40
QA9.5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione en
Record Nr. UNISALENTO-991000759389707536
Curry, Haskell B.  
Amsterdam : North-Holland, 1958-1972
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
I modelli del [lambda]-calcolo e dell'aritmetica di Peano / U. Maionchi, S. Berestovoy, G. Longo
I modelli del [lambda]-calcolo e dell'aritmetica di Peano / U. Maionchi, S. Berestovoy, G. Longo
Autore Maionchi. U.
Pubbl/distr/stampa [Roma] : CNR (Consiglio Nazionale delle Ricerche), 1981
Descrizione fisica 96 p. ; 25 cm.
Disciplina 511.3
Altri autori (Persone) Berestovoy, S.
Longo, Giuseppe
Collana Quaderni dei Gruppi di ricerca matematica del Consiglio Nazionale delle Ricerche
Soggetto topico Combinatory logic
Lambda calculus
Classificazione AMS 03B40
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991001150359707536
Maionchi. U.  
[Roma] : CNR (Consiglio Nazionale delle Ricerche), 1981
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui