Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Birkhäuser, 2020
ISBN 10: 3030571440ISBN 13: 9783030571443
Seller: SpringBooks, Berlin, Germany
Book First Edition
Hardcover. Condition: Very Good. 1. Auflage. unread, with a mimimum of shelfwear.
Published by Birkhäuser, 2021
ISBN 10: 3030571475ISBN 13: 9783030571474
Seller: Basi6 International, Irving, TX, U.S.A.
Book
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Published by Birkhäuser, 2021
ISBN 10: 3030571475ISBN 13: 9783030571474
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Book
Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability.
Published by Birkhäuser, 2021
ISBN 10: 3030571475ISBN 13: 9783030571474
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Book
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also.
Published by Birkhäuser, 2021
ISBN 10: 3030571475ISBN 13: 9783030571474
Seller: Basi6 International, Irving, TX, U.S.A.
Book
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Soft cover. Condition: New. ISBN:9783030571474.
Published by Birkhäuser, 2021
ISBN 10: 3030571475ISBN 13: 9783030571474
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Birkhäuser, 2021
ISBN 10: 3030571475ISBN 13: 9783030571474
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Birkhauser 12/18/2021, 2021
ISBN 10: 3030571475ISBN 13: 9783030571474
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Book
Paperback or Softback. Condition: New. Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi 1.12. Book.
Published by Birkhäuser, 2021
ISBN 10: 3030571475ISBN 13: 9783030571474
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Birkhäuser, 2021
ISBN 10: 3030571475ISBN 13: 9783030571474
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: Good. Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting.
Published by Birkhäuser, 2021
ISBN 10: 3030571475ISBN 13: 9783030571474
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting.
Published by Birkhäuser, 2021
ISBN 10: 3030571475ISBN 13: 9783030571474
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Birkhäuser, 2021
ISBN 10: 3030571475ISBN 13: 9783030571474
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: New. Book is in NEW condition.
Published by Birkhäuser, 2021
ISBN 10: 3030571475ISBN 13: 9783030571474
Seller: California Books, Miami, FL, U.S.A.
Book
Condition: New.
Published by Birkhäuser, 2020
ISBN 10: 3030571440ISBN 13: 9783030571443
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Birkhà ¤user, 2020
ISBN 10: 3030571440ISBN 13: 9783030571443
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Hardcover. Condition: new.
Published by Birkhäuser, 2020
ISBN 10: 3030571440ISBN 13: 9783030571443
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer International Publishing 2020-12-17, Basel, 2020
ISBN 10: 3030571440ISBN 13: 9783030571443
Seller: Blackwell's, London, United Kingdom
Book
hardback. Condition: New. Language: ENG.
Published by Birkhäuser, 2021
ISBN 10: 3030571475ISBN 13: 9783030571474
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Birkhauser 2021-12, 2021
ISBN 10: 3030571475ISBN 13: 9783030571474
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Birkhäuser, 2020
ISBN 10: 3030571440ISBN 13: 9783030571443
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: Good. Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting.
Published by Birkhäuser, 2020
ISBN 10: 3030571440ISBN 13: 9783030571443
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: Fine. Book is in Used-LikeNew condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear.
Published by Birkhäuser, 2020
ISBN 10: 3030571440ISBN 13: 9783030571443
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting.
Published by Birkhäuser, 2020
ISBN 10: 3030571440ISBN 13: 9783030571443
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: New. Book is in NEW condition.
Published by Birkhäuser, 2020
ISBN 10: 3030571440ISBN 13: 9783030571443
Seller: Book Deals, Tucson, AZ, U.S.A.
Book
Condition: New. New! This book is in the same immaculate condition as when it was published.
Published by Birkh?user, 2020
ISBN 10: 3030571440ISBN 13: 9783030571443
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Book
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Published by Springer International Publishing, 2020
ISBN 10: 3030571440ISBN 13: 9783030571443
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a wide range of metatheoretical results. The presentation is elementary and self-contained, with all technical details both formally stated and also informally explained. Numerous proofs are worked through to demonstrate methods of proving important results, such as the cut-elimination theorem, completeness, decidability, and interpolation. Other proofs are presented with portions left as exercises for readers, allowing them to practice techniques of sequent calculus.After a brief introduction to classical propositional logic, the text explores three variants of sequent calculus and their features and applications. The remaining chapters then show how sequent calculi can be extended, modified, andapplied to non-classical logics, including modal, intuitionistic,substructural, and many-valued logics.Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses on proof theory and its application to non-classical logics. It will also be of interest to researchers in computer science and philosophers.
Published by Birkhäuser, 2021
ISBN 10: 3030571475ISBN 13: 9783030571474
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Birkh�user 2021-02-16, 2021
ISBN 10: 3030571440ISBN 13: 9783030571443
Seller: Chiron Media, Wallingford, United Kingdom
Book
Hardcover. Condition: New.