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 T

Product Details

Authors:

Steven Homer Anil Nerode Richard A Platek Gerald E Sacks Andre Scedrov

Book Edition:

1990

Book Format:

Paperback

Country of Origin:

Date Published:

17 July 1990

Dimensions:

23.39 x 15.6 x 0.97 cm

ISBN-10:

3540527346

ISBN-13:

9783540527343

Language:

English

Location:

Berlin, Heidelberg

Pages:

170

Publisher:

Springer

Series:

Lecture Notes in Mathematics Springer Series in Surface Sciences Lecture Notes in Mathematics / Fondazione C.I.M.E., Firenze Lecture Notes in Mathematics: CIME Foundation Lecture Notes in Mathematics / C.I.M.E. Foundation Subseries C.I.M.E. Foundation Subseries

Weight:

254.01 gm