The following pages link to (Q5792034):
Displaying 9 items.
- Theory of an interval algebra and its application to numerical analysis (Q849171) (← links)
- From Hilbert's program to a logic tool box (Q1028646) (← links)
- On a generalized cylindrical algebra and intuitionistic logic (Q1216293) (← links)
- A propositional calculus in which three mutually undefinable functors are used as primitive terms (Q1219262) (← links)
- A cylindrical algebra based on the Boolean ring (Q1229866) (← links)
- Calculatrices digitales. Du déchiffrage de formules logico- mathématiques par la machine même dans la conception du programme (Q2652135) (← links)
- Begründung einer strengen Implikation (Q3237137) (← links)
- On intermediate propositional logics (Q5720187) (← links)
- Quantification and the empty domain (Q5827956) (← links)