Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Buy Now

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 (Paperback, 1990 ed.) Loot Price: R1,175

Discovery Miles 11 750

Repayment Terms: R110 pm x 12*

Add to cart

Logic and Computer Science - Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held...

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 (Paperback, 1990 ed.)

Steven Homer; Edited by Piergiorgio Odifreddi; Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov

Series: C.I.M.E. Foundation Subseries, 1429

(sign in to rate)

Loot Price R1,175 Discovery Miles 11 750 | Repayment Terms: R110 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	C.I.M.E. Foundation Subseries, 1429
Release date:	July 1990
First published:	1990
Authors:	Steven Homer
Editors:	Piergiorgio Odifreddi
Authors:	Anil Nerode • Richard A. Platek • Gerald E. Sacks • Andre Scedrov
Dimensions:	235 x 155 x 9mm (L x W x T)
Format:	Paperback
Pages:	170
Edition:	1990 ed.
ISBN-13:	978-3-540-52734-3
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Promotions
LSN:	3-540-52734-6
Barcode:	9783540527343