Skip to content

Labelled Deductive Systems: Volume 1
Stock Photo: Cover May Be Different

Labelled Deductive Systems: Volume 1 Hardcover - 1996

by Dov M. Gabbay


From the publisher

This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.

Details

  • Title Labelled Deductive Systems: Volume 1
  • Author Dov M. Gabbay
  • Binding Hardcover
  • Edition First Edition
  • Pages 512
  • Volumes 1
  • Language ENG
  • Publisher OUP Oxford, New York
  • Date 1996-11-14
  • Illustrated Yes
  • ISBN 9780198538332 / 0198538332
  • Weight 1.96 lbs (0.89 kg)
  • Dimensions 9.21 x 6.14 x 1.13 in (23.39 x 15.60 x 2.87 cm)
  • Library of Congress subjects Logic
  • Library of Congress Catalog Number 96025507
  • Dewey Decimal Code 160
Back to Top

More Copies for Sale

LABELLED DEDUCTIVE SYSTEMS
Stock Photo: Cover May Be Different

LABELLED DEDUCTIVE SYSTEMS

by GABBAY, DOV M.,

  • New
  • Hardcover
  • first
Condition
New
Edition
1st
Binding
Hardcover
ISBN 10 / ISBN 13
9780198538332 / 0198538332
Quantity Available
2
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$107.24
NZ$17.02 shipping to USA

Show Details

Description:
Oxford University Press, 1996. 1st. Hardcover. New/New.
Item Price
NZ$107.24
NZ$17.02 shipping to USA
Labelled Deductive Systems  Volume 1
Stock Photo: Cover May Be Different

Labelled Deductive Systems Volume 1

by Gabbay, Dov M.

  • Used
  • very good
  • Hardcover
Condition
Used - Very Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780198538332 / 0198538332
Quantity Available
1
Seller
Charlottesville, Virginia, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$127.58
NZ$8.49 shipping to USA

Show Details

Description:
E-134: Clarendon Press. Very Good. 1996. Hardcover. Hardcover. 8vo. Oxford at the Clarendon Press, Oxford, UK. 1996. 512 pgs. Bound in cloth boards with titles present to the spine and front board. Boards have light shelf-wear present to the extremities. Previous owner's name present to the front pastedown. Text is clean and free of marks. Binding tight and solid. This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists. EB; Oxford Logic Guides; 8vo 8" - 9" tall; 512 pages .
Item Price
NZ$127.58
NZ$8.49 shipping to USA
Labelled Deductive Systems: Volume 1 (Oxford Logic Guides)
Stock Photo: Cover May Be Different

Labelled Deductive Systems: Volume 1 (Oxford Logic Guides)

by Gabbay, Dov M

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780198538332 / 0198538332
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$178.27
NZ$9.28 shipping to USA

Show Details

Description:
Clarendon Press, 1996-11-14. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
NZ$178.27
NZ$9.28 shipping to USA
Labelled Deductive Systems: Volume 1

Labelled Deductive Systems: Volume 1

by Dov M. Gabbay

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780198538332 / 0198538332
Quantity Available
335
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$265.83
NZ$17.01 shipping to USA

Show Details

Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Labelled Deductive Systems: Volume 1.
Item Price
NZ$265.83
NZ$17.01 shipping to USA
Labelled Deductive Systems
Stock Photo: Cover May Be Different

Labelled Deductive Systems

by Dov M. Gabbay

  • Used
  • Hardcover
Condition
Used
Binding
Hardcover
ISBN 10 / ISBN 13
9780198538332 / 0198538332
Quantity Available
1
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$313.24
NZ$6.79 shipping to USA

Show Details

Description:
Clarendon Press , pp. 512 . Hardback. Used.
Item Price
NZ$313.24
NZ$6.79 shipping to USA
Labelled Deductive Systems: Volume 1 (Oxford Logic Guides, 33)
Stock Photo: Cover May Be Different

Labelled Deductive Systems: Volume 1 (Oxford Logic Guides, 33)

by Gabbay, Dov M

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780198538332 / 0198538332
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
NZ$328.52
NZ$25.53 shipping to USA

Show Details

Description:
Clarendon Press. Hardcover. New. 9x6x1. Brand New Book in Publishers original Sealing
Item Price
NZ$328.52
NZ$25.53 shipping to USA
Labelled Deductive Systems: Volume 1
Stock Photo: Cover May Be Different

Labelled Deductive Systems: Volume 1

by Gabbay, Dov M

  • Used
  • as new
  • Hardcover
  • first
Condition
As New
Edition
First Edition
Binding
Hardcover
ISBN 10 / ISBN 13
9780198538332 / 0198538332
Quantity Available
1
Seller
Hygiene, Colorado, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$404.27
NZ$25.45 shipping to USA

Show Details

Description:
New York: Oxford University Press, 1996. Comprehensive text provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas by the notion of structured families of labelled formulas, the labels having algebraic structure. This simple device has far reaching consequences for the methodology of logics and their semantics. The book studies the main features of such systems as well as many applications. Includes an intuitive presentation of LDS in the context of traditional current views of monotonic and nonmonotonic logics. It is less orientated towards the pure logician and more towards the practical consumer of logic. The main part of the book presents the formal theory of LDS for the formal logician. 497 pgs. Illustrated. . First Edition. Hard Cover. As New. 8vo - over 7¾" - 9¾" tall.
Item Price
NZ$404.27
NZ$25.45 shipping to USA