Logic and Computer Science : Lectures Given at the 1st Session of the Centro ...-image

Logic and Computer Science : Lectures Given at the 1st Session of the Centro ...

$ 24.59

Number of Pages: VI, 170 Pages Item Length: 9.3 in Item Width: 6.1 in Publisher: Springer Berlin / Heidelberg Type: Textbook Series: Lecture Notes in Mathematics Ser. Publication Year: 1990 Item Weight: 20.1 Oz Subject Area: Mathematics, Computers Format: Trade Paperback Author: A. Nerode, R.A. Platek, S. Homer Language: English Publication Name: 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 width: 6.1 in ISBN: 9783540527343 Book Title: Logic and Computer Science : Lectures Given at the 1st Session of Subject: Machine Theory, Computer Science, Logic, Optimization

Description

Logic and Computer Science : Lectures Given at the 1st Session of the Centro .... Logic and Computer Science : Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo (.). Logic and Computer Science : Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo (.) Held at Montecatini Terme, Italy, June 20-28, 1988, Paperback by Homer, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre, ISBN 3540527346, ISBN-13 9783540527343, Like New Used, Free shipping in the US The courses given at the 1st . 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 A. Nerode: Some Lectures on Intuitionistic . Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - . Sacks: Prolog A. Scedrov: A Guide to Polymorphic Types.

Related products