Gödel's Theorem: A Very Short Introduction

by A.W. Moore