Logic and Computer Science (Paperback) (ISBN-13: 9783540527343)

Vendor: Steven Homer
Product type: Books
Format: Paperback
$39.95
$39.95
$39.95
Subtotal: $39.95
WR Book House

Logic and Computer Science

$39.95

Logic and Computer Science

$39.95
Format: Paperback
Description
Description
x
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.

Author: Steven Homer,Anil Nerode
ISBN-10: 3540527346
ISBN-13: 9783540527343
Publisher: Springer
Language: English
Published: 07/17/1990
Pages: 170
Format: Paperback
Weight: 0.56lbs
Size: 9.21h x 6.14w x 0.38d

Recently Viewed Products