Logic and Computer Science

Name: Logic and Computer Science
SKU: 2803312
Price: 109.99 AUD
Availability: InStock

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

By:

Format:

Paperback / softback

Series:

C.I.M.E. Foundation Subseries

Show Hide Adult Content

$109.99

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $27.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 25 Jun - 5 Jul using International Courier

Description

The courses given at the 1st CIME 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 and cover such topics as isomorphism conjecture and its generalization, intuitionistic logic and PROLOG programming.

Release date Australia

July 17th, 1990

Author

Audiences

Postgraduate, Research & Scholarly
Professional & Vocational

Contributor

Edited by Piergiorgio Odifreddi

Illustrations

VI, 170 p.

Pages

170

Series

C.I.M.E. Foundation Subseries

Dimensions

155x235x9

ISBN-13

9783540527343

Product ID

2803312

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here