Logic and Computer Science: 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

Front Cover
Springer-Verlag, 1990 - Mathematics - 162 pages
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

S HOMER The Isomorphism Conjecture and its Generalization
1
A nerode Some Lectures on Intuitionistic Logic
12
R A FLATEK Making Computers Safe for the World An Introduction to Proofs
60
Copyright

2 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information