Proof Theory Modal Logic (25 results)

Title: 
Refine with Advanced Search

Refine your search

  • Books (25)

to

Custom price range (£)

to

  • Language: English

    Published by Springer, 1996

    0792341201 / 9780792341208

    • Hardcover

    Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd

    5-star seller
    Contact seller

    Condition: New

    £ 104.16

    £ 5.26 shipping 
    Ships within U.S.A.

    Quantity: 1 available

    Hardcover. Condition: New. In shrink wrap. Looks like an interesting title.

  • Language: English

    Published by Springer, 1996

    0792341201 / 9780792341208

    • Hardcover

    Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    5-star seller
    Contact seller

    Condition: New

    £ 162.52

    £ 2.00 shipping 
    Ships within U.S.A.

    Quantity: 15 available

    Condition: New.

  • Language: English

    Published by Springer, 2010

    9048147204 / 9789048147205

    • Softcover

    Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    5-star seller
    Contact seller

    Condition: New

    £ 163.33

    £ 2.00 shipping 
    Ships within U.S.A.

    Quantity: 15 available

    Condition: New.

  • Language: English

    Published by Springer, 2010

    9048147204 / 9789048147205

    • Softcover

    Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    5-star seller
    Contact seller

    Condition: Used - As new

    £ 163.40

    £ 2.00 shipping 
    Ships within U.S.A.

    Quantity: 15 available

    Condition: As New. Unread book in perfect condition.

  • Language: English

    Published by Springer, 1996

    0792341201 / 9780792341208

    • Hardcover

    Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    5-star seller
    Contact seller

    Condition: Used - As new

    £ 163.79

    £ 2.00 shipping 
    Ships within U.S.A.

    Quantity: 15 available

    Condition: As New. Unread book in perfect condition.

  • Language: English

    Published by Springer, 2010

    9048147204 / 9789048147205

    • Softcover

    Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

    5-star seller
    Contact seller

    Condition: New

    £ 151.78

    £ 11.29 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: New. In English.

  • Language: English

    Published by Springer, 1996

    0792341201 / 9780792341208

    • Hardcover

    Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

    5-star seller
    Contact seller

    Condition: New

    £ 151.83

    £ 11.29 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: New. In English.

  • Language: English

    Published by Springer, 2010

    9048147204 / 9789048147205

    • Softcover

    Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

    5-star seller
    Contact seller

    Condition: New

    £ 148.76

    £ 29.70 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.…

  • Language: English

    Published by Springer, 1996

    0792341201 / 9780792341208

    • Hardcover

    Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

    5-star seller
    Contact seller

    Condition: New

    £ 148.76

    £ 29.70 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.…

  • Language: English

    Published by Kluwer Academic Publishers, 1996

    0792341201 / 9780792341208

    • Softcover

    Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.

    5-star seller
    Contact seller

    Condition: New

    £ 176.63

    £ 8.06 shipping 
    Ships from Ireland to U.S.A.

    Quantity: 15 available

    Condition: New. Focuses on study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations, and more. This work contains technical results and presentations of novel proof procedures. It is useful for the interdisciplinary fields of logic, knowledge representation, and automated deduction. Editor(s): Wansing, Heinrich. Series: Applied Logic Series. Num Pages: 318 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 1430. . 1996. Hardback. . . . . …

  • Language: English

    Published by Springer, 2010

    9048147204 / 9789048147205

    • Softcover

    Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle

    4-star seller
    Contact seller

    Condition: New

    £ 194.75

    £ 3.02 shipping 
    Ships within U.S.A.

    Quantity: 4 available

    Condition: New. pp. 332.

  • Language: English

    Published by Springer, 1996

    0792341201 / 9780792341208

    • Hardcover

    Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle

    4-star seller
    Contact seller

    Condition: New

    £ 197.99

    £ 3.02 shipping 
    Ships within U.S.A.

    Quantity: 4 available

    Condition: New. pp. 336.

  • Language: English

    Published by Springer, 1996

    9048147204 / 9789048147205

    • Softcover

    Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

    5-star seller
    Contact seller

    Condition: New

    £ 198.66

    £ 12.50 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 2 available

    Paperback. Condition: Brand New. 328 pages. 9.25x6.10x0.75 inches. In Stock.

  • Language: English

    Published by Kluwer Academic Publishers, 1996

    0792341201 / 9780792341208

    • Hardcover

    Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore

    5-star seller
    Contact seller

    Condition: New

    £ 221.35

    £ 7.94 shipping 
    Ships within U.S.A.

    Quantity: 15 available

    Condition: New. Focuses on study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations, and more. This work contains technical results and presentations of novel proof procedures. It is useful for the interdisciplinary fields of logic, knowledge representation, and automated deduction. Editor(s): Wansing, Heinrich. Series: Applied Logic Series. Num Pages: 318 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 1430. . 1996. Hardback. . . . . Books ship from the US and Ireland. …

  • Language: English

    Published by Springer, 2010

    9048147204 / 9789048147205

    • Softcover
    • Print on Demand

    Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand

    5-star seller
    Contact seller

    Condition: New

    £ 110.36

    £ 5.77 shipping 
    Ships from Italy to U.S.A.

    Quantity: Over 20 available

    Condition: new. Questo è un articolo print on demand.

  • Language: English

    Published by Springer Netherlands, 2010

    9048147204 / 9789048147205

    • Softcover
    • Print on Demand

    Seller: moluna, Greven, Germanymoluna

    5-star seller
    Contact seller

    Condition: New

    £ 119.01

    £ 41.57 shipping 
    Ships from Germany to U.S.A.

    Quantity: Over 20 available

    Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel.…

  • Language: English

    Published by Springer Netherlands, 1996

    0792341201 / 9780792341208

    • Hardcover
    • Print on Demand

    Seller: moluna, Greven, Germanymoluna

    5-star seller
    Contact seller

    Condition: New

    £ 119.01

    £ 41.57 shipping 
    Ships from Germany to U.S.A.

    Quantity: Over 20 available

    Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel.…

  • Language: English

    Published by Springer Netherlands Okt 1996, 1996

    0792341201 / 9780792341208

    • Softcover
    • Print on Demand

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.

    5-star seller
    Contact seller

    Condition: New

    £ 140.27

    £ 19.52 shipping 
    Ships from Germany to U.S.A.

    Quantity: 2 available

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction. 336 pp. Englisch.…

  • Language: English

    Published by Springer, Springer Dez 2010, 2010

    9048147204 / 9789048147205

    • Softcover
    • Print on Demand

    Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000

    5-star seller
    Contact seller

    Condition: New

    £ 140.27

    £ 50.92 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.…

  • Language: English

    Published by Springer, Springer Okt 1996, 1996

    0792341201 / 9780792341208

    • Softcover
    • Print on Demand

    Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000

    5-star seller
    Contact seller

    Condition: New

    £ 140.27

    £ 50.92 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 332 pp. Englisch.…

  • Language: English

    Published by Springer Netherlands Dez 2010, 2010

    9048147204 / 9789048147205

    • Softcover
    • Print on Demand

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.

    5-star seller
    Contact seller

    Condition: New

    £ 182.36

    £ 19.52 shipping 
    Ships from Germany to U.S.A.

    Quantity: 2 available

    Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction. 332 pp. Englisch.…

  • Language: English

    Published by Springer, 2010

    9048147204 / 9789048147205

    • Softcover
    • Print on Demand

    Seller: Majestic Books, Hounslow, United KingdomMajestic Books

    4-star seller
    Contact seller

    Condition: New

    £ 206.09

    £ 6.50 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 4 available

    Condition: New. Print on Demand pp. 332 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

  • Language: English

    Published by Springer, 1996

    0792341201 / 9780792341208

    • Hardcover
    • Print on Demand

    Seller: Majestic Books, Hounslow, United KingdomMajestic Books

    4-star seller
    Contact seller

    Condition: New

    £ 208.49

    £ 6.50 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 4 available

    Condition: New. Print on Demand pp. 336 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

  • Language: English

    Published by Springer, 2010

    9048147204 / 9789048147205

    • Softcover
    • Print on Demand

    Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios

    4-star seller
    Contact seller

    Condition: New

    £ 209.79

    £ 8.44 shipping 
    Ships from Germany to U.S.A.

    Quantity: 4 available

    Condition: New. PRINT ON DEMAND pp. 332.

  • Language: English

    Published by Springer, 1996

    0792341201 / 9780792341208

    • Hardcover
    • Print on Demand

    Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios

    4-star seller
    Contact seller

    Condition: New

    £ 212.08

    £ 8.44 shipping 
    Ships from Germany to U.S.A.

    Quantity: 4 available

    Condition: New. PRINT ON DEMAND pp. 336.