🍂 Fall in love with reading this Autumn! 🍂 ️

Recently Viewed

Logical Frameworks by Gerard Huet 9780521413008
New

Logical Frameworks by Gerard Huet 9780521413008

No reviews yet Write a Review
Booksplease Price: €112.82

  Bookmarks: Included free with every order
  Delivery: We ship to over 200 countries from the UK
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

  FREE UK DELIVERY: When You Buy 3 or More Books - Use code: FREEUKDELIVERY in your cart!

SKU:
9780521413008
MPN:
9780521413008
Available from Booksplease!
Availability: Usually dispatched within 4 working days
Ask Questions

Frequently Bought Together:

Total: Inc. VAT
Total: Ex. VAT

Description

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.

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.

Book Information
ISBN 9780521413008
Author Gerard Huet
Format Hardback
Page Count 416
Imprint Cambridge University Press
Publisher Cambridge University Press
Weight(grams) 780g
Dimensions(mm) 229mm * 152mm * 27mm

Reviews

No reviews yet Write a Review

Related Titles

A Collection of Babysitters by Betsy Huete

A Collection of Babysitters by Betsy Huete

RRP: €16.91
Booksplease Price: €16.30
A Collection of Babysitters is a remixing of language taken from the first eight volumes of the Babysitters Club by Ann M. Martin. This is a compilation of prose poems by Betsy Huete.Book...
Add to Cart
A Story Of Bears Sylvie Huet 9781907893599

A Story Of Bears Sylvie Huet 9781907893599

RRP: €20.22
Booksplease Price: €15.98
Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781907893599Author Sylvie HuetFormat HardbackPage Count 172Imprint
Add to Cart

Booksplease  Reviews

J - United Kingdom

Fast and efficient way to choose and receive books

This is my second experience using Booksplease. Both orders dealt with very quickly and despatched. Now waiting for my next read to drop through the letterbox.

J - United Kingdom

T - United States

Will definitely use again!

Great experience and I have zero concerns. They communicated through the shipping process and if there was any hiccups in it, they let me know. Books arrived in perfect condition as well as being fairly priced. 10/10 recommend. I will definitely shop here again!

T - United States

R - Spain

The shipping was just superior

The shipping was just superior; not even one of the books was in contact with the shipping box -anywhere-, not even a corner or the bottom, so all the books arrived in perfect condition. The international shipping took around 2 weeks, so pretty great too.

R - Spain

J - United Kingdom

Found a hard to get book…

Finding a hard to get book on Booksplease and with it not being an over inflated price was great. Ordering was really easy with updates on despatch. The book was packaged well and in great condition. I will certainly use them again.

J - United Kingdom