Labelled Deduction - Applied Logic Series - David Basin - Books - Springer - 9789401057813 - October 8, 2012
In case cover and title do not match, the title is correct

David Basin
Labelled Deduction - Applied Logic Series Softcover reprint of the original 1st ed. 2000 edition

Price
S$ 137.50
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 11 - 23

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

278 pages, black & white illustrations, bibliography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 8, 2012
ISBN13 9789401057813
Publishers Springer
Pages 267
Dimensions 155 × 235 × 15 mm   ·   399 g
Editor Basin, David
Editor D'Agostino, M.
Editor Gabbay, Dov M.
Editor Matthews, Sean
Editor Vigano, Luca

More by David Basin

Show all

Mere med samme udgiver

See all of David Basin ( e.g. Paperback Book and Hardcover Book )