Les cookies assurent le bon fonctionnement de nos services. En utilisant ces derniers, vous acceptez l'utilisation des cookies.
Thomason, Richmond H. and
Johnson, D. Randolp. 1969.
“Predicate Calculus with Free Quantifier Variables.” The Journal of Symbolic Logic 34: 1–7.