Publisher's Synopsis
Rewriting and Typed Lambda Calculi
Can You Solve My Problems?
Paperback
Published 06 Jul 2017
Save $1.80
- RRP $14.92
- $13.12
Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Paperback (20 Jul 2014)
Not available for sale
Out of stock
Check stock
Other formats & editions
Book information
| ISBN: | 9783319089195 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 20 Jul 2014 |
| Language: | English |
| Number of pages: | 516 |
| Weight: | 717g |
| Height: | 234mm |
| Width: | 156mm |
We recommend
$1.80off
Can You Solve My Problems?
At Sixes and Sevens
Hardback
Published 28 Oct 2021
- $20.34
Is Maths Real?
Paperback
Published 06 Jun 2024
- $15.69
$2.45off
How to Prove It
Paperback
Published 18 Jul 2019
Save $2.45
- RRP $50.22
- $47.77
The Art of Logic
Paperback
Published 04 Jul 2019
- $16.18
How to Expect the Unexpected
Paperback
Published 15 Aug 2024
- $15.96
First-Order Logic
Paperback
Published 01 Feb 2000
- $12.59
$55.04off
Classical and Nonclassical Logics
Hardback
Published 20 Sep 2005
Save $55.04
- RRP $147.93
- $92.89
Handbook of Mathematical Fuzzy ...
Paperback
Published 21 Dec 2011
- $30.25