JOIN / SIGN IN

Welcome to Hatchards Rewards

Earn a Rewards Stamp for every £10 you spend in our shops or online*

Every 10 Rewards Stamps you earn adds £10 to your Rewards Balance

Spend your Rewards Balance in our shops or online, with no minimum redemption*

*Exclusions apply, see full T&Cs for details.

Learn More

Logical Frameworks

Gerard Huet (editor), G. Plotkin (editor)

Hardback Published on: 26/09/1991

£89.99

No reviews yet, be the first

Free UK delivery on orders over £25

We can order this from the publisher
Usually dispatched within 2 weeks

Make and edit your lists in your account

No stock available in any shop.

We can order this from the publisher
Usually dispatched within 2 weeks

No stock available in any shop.

Synopsis

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.