On sets represented by the same formula in distinct consistent axiomatizable Rosser theories.
On sets represented by the same formula in distinct consistent axiomatizable Rosser theories.
R. Paola
1966 · DOI: 10.2140/PJM.1966.18.455
3 Citations
On sets represented by the same formula in distinct consistent axiomatizable Rosser theories.
R. Paola