Description
This self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in analytic or cut free methods. The focus is on the tableau point of view. Includes 144 illustrations.
Author: Raymond M. Smullyan, Mathematics
Binding Type: Paperback
Publisher: Dover Publications
Published: 01/30/1995
Series: Dover Books on Mathematics
Pages: 176
Weight: 0.38lbs
Size: 8.48h x 5.42w x 0.39d
ISBN: 9780486683706
Language: English
This title is not returnable
Reviews
There are no reviews yet.