Josep Maria Font, Ramon Jansana.
Berlin : Springer-Verlag, ©1996.
by Josep M. Font and Ramon Jansana.
Preliminary version.
Barcelona : Department of Logic, History and Philosophy of Science, Feb. 14, 1993.
Ralph N. McKenzie, George F. McNulty, Walter F. Taylor.
Monterey, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software, ©1987-
Helena Rasiowa.
Amsterdam : North-Holland ; New York : American Elsevier, 1974.
Aubert Daigneault, editor.
[Washington] : Mathematical Association of America, ©1974.
J.-P. Perrin, M. Denouette, and E. Daclin.
New York : Springer ; Dordrecht : Reidel, ©1972.
O. Bîsca ... [et al. ; sous la direction de Gr. C. Moisil].
Bucarest : Éditions de l'Académie de la République Socialiste de Roumanie, 1971.
Ladislav Rieger ; [translated by Michal Basch].
Prague : Academia ; New York : Academic Press, 1967.
par J.-P. Perrin, M. Denouette, E. Daclin ; préface de M. Pélegrin.
Paris : Dunod, 1967.
New York : Chelsea Pub. Co., [1962]
par L. Henkin.
Paris : Gauthier-Villars, 1956.
par Haskell B. Curry.
Paris : Gauthier-Villars, 1952.