booktheque

Theorem Proving in Higher Order Logics

Tom Melham · 2005

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2005
Language
English
Publisher
Springer
Editions
2
Pages
409
ISBN
9783540283720

Data source: Wikidata