The following pages link to (Q3757914):
Displaying 5 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- On predicate provability logics and binumerations of fragments of Peano arithmetic (Q377475) (← 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)