@article{1183733928, author = {Spector, Clifford}, title = {Review: Heinz Zemanek, Une Machine Pour l'Algebre des Contacts}, journal = {J. Symbolic Logic}, volume = {25}, number = {1}, year = {1960}, language = {en}, url = {http://dml.mathdoc.fr/item/1183733928} }
Spector, Clifford. Review: Heinz Zemanek, Une Machine Pour l'Algebre des Contacts. J. Symbolic Logic, Tome 25 (1960) no. 1, . http://gdmltest.u-ga.fr/item/1183733928/