Provability in logic
Publisher: Almqvist & Wiksell
Published: 1957-01-01