Order Total (1 Item Items):
Shipping Destination:
Pym David J J (64 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (64)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (55)
- As New, Fine or Near Fine (7)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (3)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (22)
- Not Print on Demand (53)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
US$ 12.61
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New. SUPER FAST SHIPPING.
-
Condition: New. pp. 210.
-
We All Fall Down: Stories of Plague and Resilience
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 17.40
Convert currencyUS$ 16.11 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
The Semantics and Proof Theory of the Logic of Bunched Implications
Published by Springer-Verlag New York Inc., 2002
ISBN 10: 1402007450 ISBN 13: 9781402007453
Language: English
US$ 8.44
Convert currencyUS$ 26.38 shipping from France to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 2002. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 2002. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
US$ 19.43
Convert currencyUS$ 33.62 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 208 pages. 9.00x6.00x0.47 inches. In Stock.
-
US$ 36.95
Convert currencyUS$ 17.40 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. Volume 26. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Library sticker on front cover. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9781402007453.
-
US$ 17.69
Convert currencyUS$ 8.74 shipping from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: New. Print on Demand pp. 210.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
US$ 145.55
Convert currencyFree shipping from Australia to U.S.A.Quantity: 1 available
Add to basketBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Condition: New.
-
Condition: New.
-
Condition: New. SUPER FAST SHIPPING.
-
Condition: New. SUPER FAST SHIPPING.
-
Paperback. Condition: new. Paperback. This monograph provides a thorough account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and multiplicative intuitionistic linear logic. Starting, on the one hand, from elementary observations about modelling resources and, on the other, from a desire to develop a system of logic within which additive (or extensional) and multiplicative (or intensional) implications co-exist with equal logical status, we give natural deduction, lambda-calculi, sequent calculus, categorical semantics, Kripke models, topological models, logical relations and computational interpretations for both propositional and predicate BI, within which both additive and multiplicative quantifiers also co-exist. This monograph will be of interest to graduate students and researchers in mathematical logic, philosophical logic, computational logic and theoretical computer science. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
US$ 178.51
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
The Semantics and Proof Theory of the Logic of Bunched Implications (Hardcover)
Published by Kluwer Academic Publishers, New York, NY, 2002
ISBN 10: 1402007450 ISBN 13: 9781402007453
Language: English
Hardcover. Condition: new. Hardcover. This monograph provides a thorough account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and multiplicative intuitionistic linear logic. Starting, on the one hand, from elementary observations about modelling resources and, on the other, from a desire to develop a system of logic within which additive (or extensional) and multiplicative (or intentional) implications co-exist with equal logical status, the book gives natural deduction, l-calculi, sequent calculus, categorical semantics, Kripke models, topological models, logical relations and computational interpretations for both propositional and predicate BI, within which both additive and multiplicative quantifiers also co-exist. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
US$ 178.97
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Reductive Logic and Proof-Search
Published by Oxford University Press, 2004
ISBN 10: 0198526334 ISBN 13: 9780198526339
Language: English
US$ 179.14
Convert currencyUS$ 11.67 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: New. pp. 232.
-
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 185.76
Convert currencyUS$ 16.11 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series, 26)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 192.82
Convert currencyUS$ 16.11 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 155.79
Convert currencyUS$ 58.63 shipping from France to U.S.A.Quantity: 1 available
Add to basketCouverture rigide. Condition: Neuf.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
US$ 211.96
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
The Semantics and Proof Theory of the Logic of Bunched Implications
Published by Springer Netherlands, 2002
ISBN 10: 1402007450 ISBN 13: 9781402007453
Language: English
US$ 164.43
Convert currencyUS$ 57.44 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
The Semantics and Proof Theory of the Logic of Bunched Implications
Published by Springer Netherlands, 2010
ISBN 10: 9048160723 ISBN 13: 9789048160723
Language: English
US$ 164.43
Convert currencyUS$ 57.44 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 208.28
Convert currencyUS$ 16.11 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Reductive Logic and Proof-Search : Proof Theory, Semantics, and Control
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 208.27
Convert currencyUS$ 20.17 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
