by Huet, Gèrard, Plotkin, G.

Marketplace Prices
Used from $22.67

Used
$22.67

List Price

~~$140.00~~

Discount

83% Off

You Save

$117.33

Item Details
Condition: Good
Provider: Ergodebooks Contact
Provider Rating:

82%
Ships From: Multiple Locations
Shipping: Standard
Comments: Buy with confidence. Excellent Customer Service & Return policy.

ISBN-13: 9780521433129
ISBN: 0521433126
Publisher: Cambridge University Press

AUTHOR

Huet, Gèrard, Plotkin, G.

SUMMARY

In Logical Frameworks, Huet and Plotkin gathered contributions from the first International Workshop on Logical Frameworks. This volume has grown from the second workshop, and as before the contributions are of the highest calibre. Four main themes are covered: the general problem of representing formal systems in logical frameworks, basic algorithms of general use in proof assistants, logical issues, and large-scale experiments with proof assistants.Huet, Gèrard is the author of 'Logical Environments' with ISBN 9780521433129 and ISBN 0521433126.

[read more]