CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 8 of 8 Results
1.
Methods of Cut-Elimination (Trends in Logic)
Methods of Cut-Elimination (Trends in Logic) by Leitsch, Alexander, Baaz, M... ISBN: 9789400703193 List Price: $139.00
$103.17 (Save 25%)
2.
Methods of Cut-Elimination
Methods of Cut-Elimination by Baaz, Matthias, Leitsch, Al... ISBN: 9789400734975 List Price: $139.00
$103.17 (Save 25%)
3.
Kurt Godel and the Foundations of Mathematics: Horizons of Truth
Kurt Godel and the Foundations of Mathematics: Horizons of Truth by Baaz, Matthias, Papadimitri... ISBN: 9780521761444 List Price: $99.00
$145.17
4.
Computer Science Logic 17th International Workshop, Csl 2003, 12th Annual Conference of the ...
Computer Science Logic 17th International Workshop, Csl 2003, 12th Annual Conference of the ... by Baaz, Matthias, Makowsky, J... ISBN: 9783540408017 List Price: $104.00
$103.17
5.
Logic Colloquium '01 Proceedings Of The Annual European Summer Meeting Of The Association Fo...
Logic Colloquium '01 Proceedings Of The Annual European Summer Meeting Of The Association Fo... by Baaz, Matthias, Friedman, S... ISBN: 9781568812472 List Price: $70.00

OUT OF STOCK

See Availability on Amazon
6.
Logic Colloquium '01 Proceedings Of The Annual European Summer Meeting Of The Association Fo...
Logic Colloquium '01 Proceedings Of The Annual European Summer Meeting Of The Association Fo... by Baaz, Matthias, Friedman, S... ISBN: 9781568812489 List Price: $40.00

OUT OF STOCK

See Availability on Amazon
7.
Computer Science Logic
Computer Science Logic by Baaz, Matthias, Makowsky, J... ISBN: 9783662185407 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
8.
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning by Baaz, Matthias, Voronkov, A... ISBN: 9783662178072 List Price: $24.99

OUT OF STOCK

See Availability on Amazon