P. P. Hilbert

• Beginner's Guide to Higher Logic
• Zoo on the First Floor