@article{1183732305, author = {Cobham, Alan}, title = {Reduction to a Symmetric Predicate}, journal = {J. Symbolic Logic}, volume = {21}, number = {1}, year = {1956}, pages = { 56-59}, language = {en}, url = {http://dml.mathdoc.fr/item/1183732305} }
Cobham, Alan. Reduction to a Symmetric Predicate. J. Symbolic Logic, Tome 21 (1956) no. 1, pp. 56-59. http://gdmltest.u-ga.fr/item/1183732305/