Pages that link to "Item:Q1181476"
From MaRDI portal
The following pages link to A note of provability, truth and existence (Q1181476):
Displaying 6 items.
- ``The soul of the fact'' -- Poincaré and proof (Q407346) (← links)
- On partial disjunction properties of theories containing Peano arithmetic (Q1756504) (← links)
- Existence Proofs (Q2757361) (← links)
- (Q2973402) (← links)
- GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS (Q4984860) (← links)
- Constructive truth and falsity in Peano arithmetic (Q5028314) (← links)