Publisher's Synopsis
Theorem Proving in Higher Order Logics
Doing Good Better
Paperback
Published 07 Jul 2016
- $14.72
Theorem Proving in Higher Order Logics 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
Paperback (12 Mar 2014)
- $57.84
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Check stock
Other formats & editions
Book information
| ISBN: | 9783662199480 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 12 Mar 2014 |
| Language: | English |
| Number of pages: | 380 |
| Weight: | 533g |
| Height: | 234mm |
| Width: | 156mm |
We recommend
Doing Good Better
$5.41off
Consolations
Hardback
Published 07 Nov 2019
Save $5.41
- RRP $21.42
- $16.01
$5.72off
Open Socrates
Hardback
Published 14 Jan 2025
Save $5.72
- RRP $33.49
- $27.77
$6.50off
Consolations. II
Hardback
Published 07 Nov 2024
Save $6.50
- RRP $25.44
- $18.94
$0.12off
Discourses and Selected Writings
Paperback
Published 28 Aug 2008
Save $0.12
- RRP $14.72
- $14.60
Slow Down
Paperback
Published 16 Jan 2025
- $14.80
$6.42off
We Who Wrestle With God
Hardback
Published 19 Nov 2024
Save $6.42
- RRP $40.19
- $33.77
$2.63off
You Don't Have to Have a Dream
Hardback
Published 05 Sep 2024
Save $2.63
- RRP $22.76
- $20.13
The Republic
Paperback
Published 31 May 2007
- $15.30
$0.92off
Feline Philosophy
Paperback
Published 28 Oct 2021
Save $0.92
- RRP $14.72
- $13.80