In Memoriam: George Stephen Boolos 1940–1996
From MaRDI portal
Publication:3128484
Cites work
- scientific article; zbMATH DE number 1183730 (Why is no real title available?)
- scientific article; zbMATH DE number 3467029 (Why is no real title available?)
- Omega-consistency and the diamond
- On deciding the truth of certain statements involving the notion of consistency
- One hundred and two problems in mathematical logic
- Provability: The emergence of a mathematical modality
- The degree of the set of sentences of predicate provability logic that are true under every interpretation
This page was built for publication: In Memoriam: George Stephen Boolos 1940–1996
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3128484)