We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Science
  5. Labelled Deduction

Labelled Deduction

part of the Applied Logic Series series

Labelled Deduction
About Labelled Deduction

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9780792362371
  • Binding:
  • Hardback
  • Pages:
  • 267
  • Published:
  • April 29, 2000
  • Edition:
  • 2000
  • Dimensions:
  • 170x244x17 mm.
  • Weight:
  • 1270 g.
Delivery: 2-3 weeks
Expected delivery: December 12, 2024

Description of Labelled Deduction

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.

User ratings of Labelled Deduction



Others also bought..
Find similar books
The book Labelled Deduction can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.