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.5

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

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, Brand New, 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