An Examination of a Decision Procedure (Memoirs of the American Mathematical Society)

by F.C. Oglesby Paperback details (United States). ISBN: 978-0-8218-1244-0 ISBN-10: 0-8218-1244-0 Amer Mathematical Society · 1962