Primitive Recursive Functions

Mathematical Logic: Formal Systems By Open University Course Tea

Mathematical Logic: Formal Proof By Open University Course Team

Mathematical Methods, Book 3: Scalar and Vector Fields by The Open University

Lady or the Tiger? And Other Logic Puzzles Including a Mathematical Novel - GOOD

Transition Mathematics (Univer - VERY GOOD

Development of mathematical logic, R.L. Goodstein 1971 First Edition Print Error

A Concise Introduction to Mathematical Logic