Theorem Proving in Higher Order Logics | Buy Theorem Proving in Higher Order Logics as book, paperback from TalesTheorem Proving in Higher Order Logics - tales.as

We a good story

4.1 / 5 on Trustpilot

Quick delivery in the UK

Trusted Ecommerce Europe

Theorem Proving in Higher Order Logics

Save 0% from RPP Save 0%

Paperback
1-2 weeks
£42.99

Language:
English

ISBN:
9783662199480

Publisher:
Springer Nature B.V.

Binding:
Paperback

Pages:
380

Published:
March 11, 2014

Dimensions:
156x234x0 mm.

Weight:
533 g.

£42.99 + Shipping
~~£42.99~~

Delivery: 1-2 weeks

Expected delivery: December 12, 2024

Extended return policy to January 30, 2025

We accept payment with Visa and Visa Electron, at no extra cost.

We accept payment with Mastercard, at no extra cost.

We accept payment with Maestro, at no extra cost.

User ratings of Theorem Proving in Higher Order Logics

Others also bought..

Find similar books

The book Theorem Proving in Higher Order Logics can be found in the following categories:

Business & Education > Science