Author | Homer, Steven. author |
---|---|
Title | Logic and Computer Science [electronic resource] : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / by Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov ; edited by Piergiorgio Odifreddi |
Imprint | Berlin, Heidelberg : Springer Berlin Heidelberg, 1990 |
Connect to | http://dx.doi.org/10.1007/BFb0093921 |
Descript | VI, 170 p. online resource |
The isomorphism conjecture and its generalizations -- Some lectures on intuitionistic logic -- Making computers safe for the world: An introduction to proofs of programs part I -- Prolog Programming -- A guide to polymorphic types