Cover Image
Read Now

1
by Fitting, M., Mendelsohn, Richard L.
Published 1998
Springer Netherlands
Table of Contents: “... -- 2.2 Tableaus -- 2.3 More Tableau Systems -- 2.4 Logical Consequence and Tableaus -- 2.5 Tableaus Work...”