Epsilon substitution method for theories of jump hierarchies. Archive for Mathematical Logic, vol.2, pp.123-153, 2002. ,
The Epsilon Calculus. (First published May 3, 2002; substantive revision, Stanford Encyclopedia of Philosophy, 2013. ,
Intuitionistic Logic and Hilbert's ?-symbol, (Russian) Istoriia i Metodologiia Estestvennykh Nauk, Republished in: Albert Grigorevich Dragalin, Konstruktivnaia Teoriia Dokazatelstv i Nestandartnyi Analiz, s, pp.255-263, 1974. ,
Life and Logic, 2004. ,
Grundlagen der Mathematik. I, Die Grundlehren der mathematischen Wissenschaften 40, 1934. II, Die Grundlehren der mathematischen Wissenschaften 50, 1939. ,
, Proc. Workshop on Recent Developments in the Theory of Natural Language Semantics, pp.149-172, 1995.
The completeness of the first-order functional calculus, J. Symbolic Logic, vol.14, pp.159-166, 1949. ,
Expert Groups Closing the Divide: Estonian-Finnish Computing Cooperation since the 1960s, pp.101-121 ,
The History of Finnish-Soviet Logic Colloquium, Logical Investigations (Logicheskie Issledovaniya). 20. Moscow, 2013. ,
On the interpretation of non-finitist proofs, part I, J. of Symbolic Logic, vol.16, pp.241-267, 1951. ,
On the interpretation of non-finitist proofs, part II, J. of Symbolic Logic, vol.17, pp.43-58, 1952. ,
Mathematical logic, Lectures in Modern Mathematics III, pp.95-195, 1965. ,
Formally self-referential propositions for cut-free analysis and related systems, Dissertationes mathematicae, vol.118, p.pp, 1974. ,
The use of abstract language in elementary metamathematics: some pedagogic examples, vol.453, pp.38-131, 1975. ,
, , 1981.
Mathematical logic and Hilbert's ?-symbol, 1969. ,
Existential instantiation in a system of natural deduction for intuitionistic arithmetics, Stichtung Mathematische Centrum, 1973. ,
A General Theory of Completeness Proofs, Ann. Jap. Assoc. Phil. Sci, issue.3, pp.242-256, 1970. ,
, Beyond the Divide. Entangled Histories of Cold War Europe, p.324, 2015.
Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im, Steklova AN SSSR, vol.40, pp.97-104, 1974. ,
A simplified consistency proof for arithmetic. (Russian, English summary), Izv. Akad. Nauk. Ehst. SSR, Fiz., Mat, vol.31, pp.376-381, 1982. ,
Epsilon substitution method for the theory of hereditarily finite sets (Russian, English Summary), Izv. Akad. Nauk Ehst. SSR, Fiz., Math, vol.38, pp.154-164, 1989. ,
Selected Papers in Proof Theory, 1992. ,
Hilbert's Substitution Method and Gentzen-type Systems, Proc. of 9th International Congress of Logic, Methododology and Philososophy of Science, 1994. ,
Epsilon substitution method for elementary analysis. Archive for Mathematical Logic, vol.35, pp.103-130, 1996. ,
Strong termination for the epsilon substitution method, J. of Symb. Logic, vol.61, pp.1193-1205, 1996. ,
Thoralf Skolem and the epsilon substitution method for predicate logic, Nordic J. of Philos. Logic, vol.1, pp.133-146, 1996. ,
Strong termination for the epsilon substitution method for predicate logic, J. of Symb. Logic, 1998. ,
Epsilon-substitution method for the ramified language and ? 1 1comprehension rule, Logic and Foundations of Mathematics, pp.107-130, 1995. ,
A termination proof for epsilon substitution using partial derivations, Theor. Comput. Sci, vol.1, issue.303, pp.187-213, 2003. ,
Completeness of indexed epsilon-calculus, Arch. Math. Log, vol.42, issue.7, pp.617-625, 2003. ,
Cut Elimination for a Simple Formulation of PAepsilon, Electr. Notes Theor. Comput. Sci, vol.143, pp.159-169, 2006. ,
Cut elimination for a simple formulation of epsilon calculus, Ann. Pure Appl. Logic, vol.152, issue.1-3, pp.148-160, 2008. ,
Intuitionistic Existential Instantiation and Epsilon Symbol ,
Epsilon substitution for first-and second-order predicate logic, Ann. Pure Appl. Logic, vol.164, issue.6, pp.733-739, 2013. ,
Intuitionistic Predicate Calculus with ?-symbol, Annals of the Japan Association for Philosophy, issue.4, pp.49-67, 1971. ,
Hilbert's Epsilon Calculus and its Successors, pp.385-448, 2009. ,
Elimination des termes ? dans la logique intuitioniste, vol.98, pp.512-519, 1971. ,
Essays on mathematical and philosophical logic, Proceedings of the Fourth Scandinavian Logic Symposium and the First Soviet-Finnish Conference, Jyväskulë, Finland, vol.122, 1976. ,
Logika i Komputer. Moscow, 1990 (Russian) ,
Cut elimination in ?-calculus // Book of abstracts, N. l. XIX World Congress of Philosophy, 1993. ,
Proof search in intuitionistic natural deduction with ?-symbol and existence predicate. (Russian) // Logical investigations, vol.3, pp.163-173, 1995. ,
Basic Proof Theory (second edition). Cambridge Tracts in Theoretical Computer Science, 2000. ,