ISBN: 9780792362371 - Labelled Deduction: 17 (applied Logic Series, 17) (12 results)
Labelled Deduction
Basin, David (EDT); D'Agostino, Fred (EDT); Gabbay, Dov M. (EDT); Matthews, Sean (EDT); Vigano, Luca (EDT)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 102.68
£ 1.99 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 102.41
£ 2.26 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 106.71
£ 11.21 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
Labelled Deduction
. Ed(s): Basin, David; D'Agostino, Marcello (University of Ferrara, Italy); Gabbay, Dov M.; Matthews, Sean (Logica GmbH, Franfurt am Main, Germany);
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 115.83
£ 7.94 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: New. Discuses about Labelled deduction which is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Editor(s): Basin, David; D'Agostino, Marcello (University of Ferrara, Italy); Gabbay, Dov M.; Matthews, Sean (Logica GmbH, Franfurt am Main, Germany); Vigano, Luca (Albert-Ludwigs-Universitat, Freiburg, Germany). Series: Applied Logic Series. Num Pages: 267 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 17. Weight in Grams: 576. . 2000. annotated ed. Hardback. . . . . …
- Hardcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 136.39
£ 3.01 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 284.
- Hardcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 110.35
£ 40.94 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Gebunden. Condition: New.
Labelled Deduction
. Ed(s): Basin, David; D'Agostino, Marcello (University of Ferrara, Italy); Gabbay, Dov M.; Matthews, Sean (Logica GmbH, Franfurt am Main, Germany);
- Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 146.57
£ 7.91 shippingShips within U.S.A.Quantity: 15 available
Condition: New. Discuses about Labelled deduction which is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Editor(s): Basin, David; D'Agostino, Marcello (University of Ferrara, Italy); Gabbay, Dov M.; Matthews, Sean (Logica GmbH, Franfurt am Main, Germany); Vigano, Luca (Albert-Ludwigs-Universitat, Freiburg, Germany). Series: Applied Logic Series. Num Pages: 267 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 17. Weight in Grams: 576. . 2000. annotated ed. Hardback. . . . . Books ship from the US and Ireland. …
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 148.12
£ 29.25 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. Neuware - Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.…
- Hardcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 190.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Labelled Deduction
Basin, David (EDT); D'Agostino, Fred (EDT); Gabbay, Dov M. (EDT); Matthews, Sean (EDT); Vigano, Luca (EDT)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 225.26
£ 1.99 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Hardcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 140.91
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 284 Illus.
- Hardcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 145.10
£ 8.32 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 284.
