Sign in to your account or register new one to have full control over your orders, receive bonuses and more.
New customer? Register
Subtotal: 0.00
Total Items In Cart:
Aims to present the fundamental theoretical results concerning inference rules in deductive formal systems. This book focuses on admissible or permissible inference rules; the derivability of the admissible inference rules; the structural completeness of logics; and the bases for admissible and valid inference rules.