Studies in Constructive Mathematics and Mathematical Logic
Language: English
Published by Springer, 2014
- Softcover
- New
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
4-star seller
AbeBooks seller since January 19, 2007
Softcover
Condition: New
US$ 86.25
US$ 8.60 shipping
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Add to basketFree 30-day returns
Item description from seller
Print on Demand pp. 100 6:B&W 8.25 x 11 in or 280 x 210 mm Perfect Bound on White w/Gloss Lam.
Seller Inventory # 356196897
- Title
- Studies in Constructive Mathematics and Mathematical Logic
- Publisher
- Springer
- Publication year
- 2014
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 1489956328
- ISBN 13
- 9781489956323
Herbrand's Theorem for Prenex Formulas of Constructive Predicate Calculus .. 47 G. E. Mints Variation in the Deduction Search Tactics in Sequential Calculus . . . . . . . . . . . . . . . . .. . . 52 . . . G. E. Mints Imbedding Operations Associated with Kripke's "Semantics" . . . . . . . . . . . . . . . . . . .. . . 60 . . . .
"Synopsis" may belong to another edition of this title.
Majestic Books
Hounslow, United Kingdom
4-star seller
AbeBooks seller since January 19, 2007
Shipping rates from United Kingdom to U.S.A.
| Item | 14 to 45 business days | 5 to 10 business days |
|---|---|---|
| First item | US$ 8.60 | US$ 13.04 |
Payment methods
Store description
We specialise in General Interest Books from South Asian countries.
Specialty
Art, Economics, Buddhism, Religion, Sociology, PaintingSeller's business information
BOOKS AND PERIODICALS AGENCY LTD
Unit 4 Alice way,
Hounslow, United Kingdom TW3 3UD
Terms of sale
Returns accepted if you are not satisfied with the Service or Book.
Shipping terms
Best packaging and fast delivery