The following pages link to (Q3757914):
Displaying 4 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Semantical proofs of correctness for programs performing non-deterministic tests on real numbers (Q3060187) (← links)
- (Q4263489) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
