-
176. Methods of Cut-Elimination
by Baaz, Matthias, and Leitsch, Alexander
Seller Description: Fine. Contains: Unspecified. Trends in Logic . Includes unspecified. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2011, Springer
ISBN-13: 9789400703193
Hardcover, Fine/Like New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$115.87
-
177. Methods of Cut-Elimination
by Baaz, Matthias, and Leitsch, Alexander
Seller Description: New. Contains: Unspecified. Trends in Logic . Includes unspecified. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2011, Springer
ISBN-13: 9789400703193
Hardcover, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$116.20
-
178. Theorem Proving with the Real Numbers
by Harrison, John
Seller Description: Fine. Trade paperback (US). Glued binding. 186 p. Distinguished Dissertations. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2011, Springer
ISBN-13: 9781447115939
Trade paperback, Fine/Like New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$117.07
-
179. Methods of Cut-Elimination
by Baaz, Matthias, and Leitsch, Alexander
Seller Description: Fine. Trends in Logic . VI, 290 p. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2011, Springer
ISBN-13: 9789400703193
Hardcover, Fine/Like New
Columbia, MD, USA
$120.87
-
180. Methods of Cut-Elimination
by Baaz, Matthias, and Leitsch, Alexander
Seller Description: New. Trends in Logic . VI, 290 p. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2011, Springer
ISBN-13: 9789400703193
Hardcover, New
Columbia, MD, USA
$121.12
-
181. Theorem Proving with the Real Numbers
by Harrison, John
Seller Description: New. Trade paperback (US). Glued binding. 186 p. Distinguished Dissertations. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2011, Springer
ISBN-13: 9781447115939
Trade paperback, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$122.41
-
182. Theorem Proving with the Real Numbers
by Harrison, John
Seller Description: New. Trade paperback (US). Glued binding. 186 p. Distinguished Dissertations. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2011, Springer
ISBN-13: 9781447115939
Trade paperback, New
Columbia, MD, USA
$123.11
-
183. Theorem Proving with the Real Numbers
by Harrison, John
Seller Description: Fine. Trade paperback (US). Glued binding. 186 p. Distinguished Dissertations. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2011, Springer
ISBN-13: 9781447115939
Trade paperback, Fine/Like New
Columbia, MD, USA
$123.11
-
184. Automating Sharepoint 2010 With Windows Powershell 2.0
by Bray, Shannon
Seller Description: New. See More Details
2011, Sybex
ISBN-13: 9780470939208
paperback, New
Miramar, FL, USA
$126.13
-
185. Extensional Constructs in Intensional Type Theory
Seller Description: New, Satisfaction guaranteed! ! See More Details
2011, Springer
ISBN-13: 9781447112433
Paperback, New
Irving, TX, USA
$131.06
-
186. Extensional Constructs in Intensional Type Theory
by Hofmann, Martin
Seller Description: New. Print on demand Trade paperback (US). Glued binding. 216 p. Distinguished Dissertations. See More Details
2011, Springer
ISBN-13: 9781447112433
Trade paperback, New
NV, USA
$159.29
-
187. Automatic Programming Applied to VLSI CAD Software: A Case Study
by Setliff, Dorothy E, and Rutenbar, Rob A
Seller Description: New. Print on demand Trade paperback (US). Glued binding. 234 p. Contains: Unspecified. The Springer International Engineering and Computer Science, 101. See More Details
2011, Springer
ISBN-13: 9781461288312
Trade paperback, New
NV, USA
$168.69
-
188. Extensional Constructs in Intensional Type Theory
by Hofmann, Martin
Seller Description: New. Trade paperback (US). Glued binding. 216 p. Distinguished Dissertations. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2011, Springer
ISBN-13: 9781447112433
Trade paperback, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$173.61
-
189. Extensional Constructs in Intensional Type Theory
by Hofmann, Martin
Seller Description: New. Trade paperback (US). Glued binding. 216 p. Distinguished Dissertations. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2011, Springer
ISBN-13: 9781447112433
Trade paperback, New
Columbia, MD, USA
$173.70
|
