A Short Introduction to Intuitionistic Logic

Grigori Mints

6 ratings by Goodreads

Language: English

Published by Springer US, 2000

0306463946 / 9780306463945

  • Hardcover
  • New
See all details

Seller: moluna, Greven, Germanymoluna

5-star seller

AbeBooks seller since July 9, 2020

View this seller's items
Hardcover

Condition: New

US$ 175.18

US$ 56.83 shipping 
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic Part II contains exten.

Seller Inventory # 5903123

Title
A Short Introduction to Intuitionistic Logic
Author
Grigori Mints
Publisher
Springer US
Publication year
2000
Condition
New
Binding
Hardcover
Language
English
ISBN 10
0306463946
ISBN 13
9780306463945

moluna

Greven, Germany

5-star seller

AbeBooks seller since July 9, 2020

Shipping rates from Germany to U.S.A.

Item13 to 40 business days13 to 40 business days
First itemUS$ 56.83US$ 56.83
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Wire Transfer
  • Check
  • Paypal

Store description

Online Handel nur mit Neubüchern

Seller's business information

Moluna GmbH

Engberdingdamm 27
Greven, Germany 48268