Admissibility of Logical Inference Rules: Volume 136

by Vladimir V. Rybakov

The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: - admissible or permissible inference... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0444895051
• ISBN13: 9780444895059
• Release Date: March 1997
• Publisher: North-Holland
• Length: 616 Pages
• Weight: 2.30 lbs.
• Dimensions: 1.3" x 6.1" x 9.2"