The unprovability of consistency
Subtitle: an essay in modal logic
By: George Boolos.
Publisher: Cambridge University Press
Published: 1979
Place of publication: Cambridge; New York
Language: eng
Number of pages: 184
Subjects: Modality (Logic); Proof theory
Notes: Bibliography: p. 180-182.
Includes index.