FIRST-ORDER LOGIC (PAPERBACK) IN SOUTH AFRICA

This item is sold brand new. It is ordered on demand from our supplier and is usually dispatched within 7 - 15 working days An introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods. Features Summary An introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods. Author Raymond M Smullyan Publisher Dover Publications Release date 19950130 Pages 158 ISBN 0-486-68370-2 ISBN 13 978-0-486-68370-6