The Little Prover
![]() | paperback Category: Computer Programming / Software Development Category: PDA / Handheld Programming Category: Software Engineering Category: Web Programming Category: Mathematical Logic MIT Press Ltd Discounted book price: 42.88 EUR (price updated on 20.10.2024) Free delivery to EU countries (and more) more Reader's comments and book reviews: Amazon |