Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; Written by acknowledged experts, for advanced students and researchers in mathematical logic and computer science, this volume provides a detailed, self-contained coverage of proof theory in both classical and constructive arithmetics,
Stock Photo: Cover May Be Different
Proofs and Computations Hardcover - 2012 - 1st Edition
by Helmut Schwichtenberg; Stanley S. Wainer
Details
- Title Proofs and Computations
- Author Helmut Schwichtenberg; Stanley S. Wainer
- Binding Hardcover
- Edition number 1st
- Edition 1
- Pages 480
- Volumes 1
- Language ENG
- Publisher Cambridge University Press
- Date 2012-01-16
- Illustrated Yes
- Features Bibliography, Illustrated, Index, Table of Contents
- ISBN 9780521517690 / 0521517699
- Weight 1.9 lbs (0.86 kg)
- Dimensions 9.3 x 6.3 x 1.2 in (23.62 x 16.00 x 3.05 cm)
- Dewey Decimal Code 511.352
More Copies for Sale
Proofs and Computations
by Helmut Schwichtenberg
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780521517690 / 0521517699
- Quantity Available
- 752
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$89.17$10.33 shipping to USA
Show Details
Item Price
$89.17
$10.33
shipping to USA
Stock Photo: Cover May Be Different
Proofs and Computations
by Schwichtenberg, Helmut/ Wainer, Stanley S.
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780521517690 / 0521517699
- Quantity Available
- 2
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
$101.83$12.93 shipping to USA
Show Details
Description:
Cambridge Univ Pr, 2011. Hardcover. New. 1st edition. 480 pages. 9.50x6.25x1.25 inches.
Item Price
$101.83
$12.93
shipping to USA
Proofs and Computations
by Helmut Schwichtenberg
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780521517690 / 0521517699
- Quantity Available
- 5
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
$108.69$12.86 shipping to USA
Show Details
Description:
Hardback. New. Written by acknowledged experts, for advanced students and researchers in mathematical logic and computer science, this volume provides a detailed, self-contained coverage of proof theory in both classical and constructive arithmetics, up to finitely iterated inductive definitions. Deep connections with computability, complexity and program extraction form the principal themes.
Item Price
$108.69
$12.86
shipping to USA
Stock Photo: Cover May Be Different
Proofs and Computations (Perspectives in Logic)
by Schwichtenberg, Helmut
- Used
- Good
- Hardcover
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780521517690 / 0521517699
- Quantity Available
- 1
- Seller
-
Newport Coast, California, United States
- Item Price
-
$148.46FREE shipping to USA
Show Details
Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
$148.46
FREE shipping to USA