14 citations to 10.1007/0-387-31072-X_2 (Crossref Cited-By Service)
  1. Volker Halbach, Albert Visser, The Life and Work of Leon Henkin, 2014, 249  crossref
  2. Fedor Pakhomov, 10388, Logic, Language, Information, and Computation, 2017, 281  crossref
  3. Vladimir Olegovich Lobovikov, “A Logically Formalized Axiomatic Epistemology System Σ + C and Philosophical Grounding Mathematics as a Self-Sufficing System”, Mathematics, 9, no. 16, 2021, 1859  crossref
  4. Mojtaba Mojtahedi, 28, Dick de Jongh on Intuitionistic and Provability Logics, 2024, 89  crossref
Previous
1
2