T. Arai, Epsilon substitution method for theories of jump hierarchies. Archive for Mathematical Logic, vol.2, pp.123-153, 2002.

J. Avigad and R. Zach, The Epsilon Calculus. (First published May 3, 2002; substantive revision, Stanford Encyclopedia of Philosophy, 2013.

A. Dragalin, 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.

A. Fefereman, S. A. Feferman, and . Tarski, Life and Logic, 2004.

D. Hilbert and P. Bernays, Grundlagen der Mathematik. I, Die Grundlehren der mathematischen Wissenschaften 40, 1934. II, Die Grundlehren der mathematischen Wissenschaften 50, 1939.

V. Heusinger, K. Reference, and . Salience, Proc. Workshop on Recent Developments in the Theory of Natural Language Semantics, pp.149-172, 1995.

L. Henkin, The completeness of the first-order functional calculus, J. Symbolic Logic, vol.14, pp.159-166, 1949.

S. Kaataja, Expert Groups Closing the Divide: Estonian-Finnish Computing Cooperation since the 1960s, pp.101-121

A. S. Karpenko and . Preface, The History of Finnish-Soviet Logic Colloquium, Logical Investigations (Logicheskie Issledovaniya). 20. Moscow, 2013.

G. Kreisel, On the interpretation of non-finitist proofs, part I, J. of Symbolic Logic, vol.16, pp.241-267, 1951.

G. Kreisel, On the interpretation of non-finitist proofs, part II, J. of Symbolic Logic, vol.17, pp.43-58, 1952.

G. Kreisel, Mathematical logic, Lectures in Modern Mathematics III, pp.95-195, 1965.

G. Kreisel and G. Takeuti, Formally self-referential propositions for cut-free analysis and related systems, Dissertationes mathematicae, vol.118, p.pp, 1974.

G. Kreisel, G. E. Mints, and S. G. Simpson, The use of abstract language in elementary metamathematics: some pedagogic examples, vol.453, pp.38-131, 1975.

G. Kreisel, . Issledovaniya-po-theorii-dokazatelstv, . Moscow, and . Mir, , 1981.

A. C. Leisenring, Mathematical logic and Hilbert's ?-symbol, 1969.

D. Leivant, Existential instantiation in a system of natural deduction for intuitionistic arithmetics, Stichtung Mathematische Centrum, 1973.

S. Maehara, 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.

G. Mints, Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im, Steklova AN SSSR, vol.40, pp.97-104, 1974.

G. Mints, A simplified consistency proof for arithmetic. (Russian, English summary), Izv. Akad. Nauk. Ehst. SSR, Fiz., Mat, vol.31, pp.376-381, 1982.

G. Mints, 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.

G. Mints, Selected Papers in Proof Theory, 1992.

G. Mints, Hilbert's Substitution Method and Gentzen-type Systems, Proc. of 9th International Congress of Logic, Methododology and Philososophy of Science, 1994.

G. Mints, S. Tupailo, and W. Buchholz, Epsilon substitution method for elementary analysis. Archive for Mathematical Logic, vol.35, pp.103-130, 1996.

G. Mints, Strong termination for the epsilon substitution method, J. of Symb. Logic, vol.61, pp.1193-1205, 1996.

G. Mints, Thoralf Skolem and the epsilon substitution method for predicate logic, Nordic J. of Philos. Logic, vol.1, pp.133-146, 1996.

G. Mints, Strong termination for the epsilon substitution method for predicate logic, J. of Symb. Logic, 1998.

G. Mints and S. Tupailo, Epsilon-substitution method for the ramified language and ? 1 1comprehension rule, Logic and Foundations of Mathematics, pp.107-130, 1995.

G. Mints, A termination proof for epsilon substitution using partial derivations, Theor. Comput. Sci, vol.1, issue.303, pp.187-213, 2003.

G. Mints and D. Sarenac, Completeness of indexed epsilon-calculus, Arch. Math. Log, vol.42, issue.7, pp.617-625, 2003.

G. Mints, Cut Elimination for a Simple Formulation of PAepsilon, Electr. Notes Theor. Comput. Sci, vol.143, pp.159-169, 2006.

G. Mints, Cut elimination for a simple formulation of epsilon calculus, Ann. Pure Appl. Logic, vol.152, issue.1-3, pp.148-160, 2008.

G. Mints, Intuitionistic Existential Instantiation and Epsilon Symbol

G. Mints, Epsilon substitution for first-and second-order predicate logic, Ann. Pure Appl. Logic, vol.164, issue.6, pp.733-739, 2013.

K. Shirai, Intuitionistic Predicate Calculus with ?-symbol, Annals of the Japan Association for Philosophy, issue.4, pp.49-67, 1971.

B. H. Slater, Hilbert's Epsilon Calculus and its Successors, pp.385-448, 2009.

V. A. Smirnov, Elimination des termes ? dans la logique intuitioniste, vol.98, pp.512-519, 1971.

V. A. Smirnov, 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.

V. A. Smirnov, A. M. Anisov, and P. I. Bystrov, Logika i Komputer. Moscow, 1990 (Russian)

V. A. Smirnov, Cut elimination in ?-calculus // Book of abstracts, N. l. XIX World Congress of Philosophy, 1993.

V. A. Smirnov, Proof search in intuitionistic natural deduction with ?-symbol and existence predicate. (Russian) // Logical investigations, vol.3, pp.163-173, 1995.

A. S. Troelstra and H. Schwichtenberg, Basic Proof Theory (second edition). Cambridge Tracts in Theoretical Computer Science, 2000.