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)
La caduta del Giappone / William Craig
La caduta del Giappone / William Craig
Autore Craig, William
Pubbl/distr/stampa Milano : Rizzoli, 1970
Descrizione fisica 359 p. : c. geogr. ; 23 cm.
Disciplina 940.54
Collana Documenti [Rizzoli]
Soggetto topico Guerra mondiale 1939-45 - Giappone
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991002185579707536
Craig, William  
Milano : Rizzoli, 1970
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
Logic in Algebraic Form : Three Languages and Theories / William Craig
Logic in Algebraic Form : Three Languages and Theories / William Craig
Autore Craig, William
Pubbl/distr/stampa Amsterdam [etc.] : North-Holland, 1974
Descrizione fisica viii, 204 p. ; 23 cm
Disciplina 160
Collana Studies in logic and the foundations of mathematics
Soggetto non controllato Logica
Ricorsività
ISBN 0-7204-2272-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000979130403321
Craig, William  
Amsterdam [etc.] : North-Holland, 1974
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Logic in Algebraic Form Three Languages and Theories / by Craic W.
Logic in Algebraic Form Three Languages and Theories / by Craic W.
Autore Craig, William
Pubbl/distr/stampa Amsterdam [etc.] : North-Holland, 197 4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001141920403321
Craig, William  
Amsterdam [etc.] : North-Holland, 197 4
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Proceedings of the Tarski symposium : an intern. symp. held to honor A. Tarski on occasion of his 70th birthday, Berkeley, June 23-30, 1971 / eds. L. Henkin.
Proceedings of the Tarski symposium : an intern. symp. held to honor A. Tarski on occasion of his 70th birthday, Berkeley, June 23-30, 1971 / eds. L. Henkin.
Edizione [2nd print. with add., 1979]
Pubbl/distr/stampa Providence, R. I. : American Mathematical Society, 1974
Descrizione fisica xx, 491 p. ; 25 cm
Disciplina 511.3
Altri autori (Persone) Addison, J.
Chang, Cheng Chung
Craig, William
Henkin, Leon
Scott, Dana S.
Tarski, Alfred
Vaught, R.
Collana Proceedings of symposia in pure mathematics, 0082-0717 ; 25
Soggetto topico Mathematical logic
ISBN 0811814257
Classificazione AMS 03-06
AMS 03-XX
LC QA7.T34
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001263319707536
Providence, R. I. : American Mathematical Society, 1974
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui