Publié le : 1974-07-14
Classification:
02H05,
02B15,
02D99
@article{1093891404,
author = {Wadleigh, H. Julian},
title = {Translation of the simple theory of types into a first order language.},
journal = {Notre Dame J. Formal Logic},
volume = {15},
number = {1},
year = {1974},
pages = { 432-442},
language = {en},
url = {http://dml.mathdoc.fr/item/1093891404}
}
Wadleigh, H. Julian. Translation of the simple theory of types into a first order language.. Notre Dame J. Formal Logic, Tome 15 (1974) no. 1, pp. 432-442. http://gdmltest.u-ga.fr/item/1093891404/