Tekijä: Steven Homer; Piergiorgio Odifreddi (ed.); Anil Nerode; Richard A. Platek; Gerald E. Sacks; Andre Scedrov Kustantaja: Springer (1990) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Michel Ducourneau; Eliza Frye; Allan Haverholm; Ed Homer; Jacob Rask; Chad Verrill Kustantaja: C´est Bon Kultur (2010) Saatavuus: Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa
Tekijä: Homer; Pope; Alexander; tr; Gentner; Philip; ed Kustantaja: Kniga po trebovaniyu Saatavuus: Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa
Tekijä: Homer; Owen; John Jason; - . edt; Wolf; F. A. (Friedrich August); ed. edt Kustantaja: Kniga po trebovaniyu Saatavuus: Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa
Tekijä: Margaret A. Ryan (ed.); Abhijit V. Shevade (ed.); Charles J. Taylor (ed.); M. L. Homer (ed.); Mario Blanco (ed.); Stetter Kustantaja: Springer (2014) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Milton; John; Sprague; Homer B. (Homer Baxter); ed Kustantaja: Kniga po trebovaniyu Saatavuus: Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa
Tekijä: Homer; Koechly; Hermann August Theodor; from old catalog ed Kustantaja: Kniga po trebovaniyu Saatavuus: Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa
Tekijä: C. Vaughan (ed.); M. Schomerus (ed.); L. de Vries (ed.); Kenneth A. Loparo (ed.) Kustantaja: Palgrave Macmillan (2015) Saatavuus: Noin 17-20 arkipäivää
Springer Sivumäärä: 170 sivua Asu: Pehmeäkantinen kirja Painos: 1990 Julkaisuvuosi: 1990, 17.07.1990 (lisätietoa) Kieli: Englanti
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.