Fraise,Ronald Course of mathematical logic volume I relation and logical formula Ronald Fraise - Boston D.Reided 1974 ISBN: 9027704031 Subjects--Topical Terms: Recursive Functions LC Class. No.: QA 9.A5F73