Substitution (logic) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Substitution (logic)" in English language version.

refsWebsite

Global rank English rank

3encyclopediaofmath.org

3,863^rd place

2,637^th place

6^th place

6^th place

2books.google.com

3^rd place

3^rd place

5^th place

5^th place

1web.archive.org

1^st place

1^st place

2,120^th place

1,328^th place

179^th place

183^rd place

archive.org

Hunter, Geoffrey (1996) [1971]. Metalogic: An Introduction to the Metatheory of Standard First-Order Logic. University of California Press (published 1973). p. 118. ISBN 9780520023567. OCLC 36312727. (accessible to patrons with print disabilities)
Andre Heck (6 December 2012). Introduction to Maple. Springer Science & Business Media. ISBN 978-1-4684-0484-5. substitution.

books.google.com

Fitting, M., First-Order Logic and Automated Theorem Proving (Berlin/Heidelberg: Springer, 1990), pp. 198–200.
Margret H. Hoft; Hartmut F.W. Hoft (6 November 2002). Computing with Mathematica. Elsevier. ISBN 978-0-08-048855-4.

bu.edu

cs.bu.edu

Franz Baader, Wayne Snyder (2001). Alan Robinson and Andrei Voronkov (ed.). Unification Theory (PDF). Elsevier. pp. 439–526. Archived from the original (PDF) on 2015-06-08. Retrieved 2014-09-24.

encyclopediaofmath.org

Sobolev, S.K. (originator). "Equality axioms". Encyclopedia of Mathematics. Springer. ISBN 1402006098.
Sobolev, S.K. (originator). "Individual variable". Encyclopedia of Mathematics. Springer. ISBN 1402006098. Retrieved 2024-09-05.
Sobolev, S.K. (originator). Free variable. Encyclopedia of Mathematics. Springer. ISBN 1402006098.

stanford.edu

plato.stanford.edu

Deutsch, Harry and Pawel Garbacz, "Relative Identity", The Stanford Encyclopedia of Philosophy (Fall 2024 Edition), Edward N. Zalta & Uri Nodelman (eds.), forthcoming URL: https://plato.stanford.edu/entries/identity-relative/#StanAccoIden

web.archive.org

Franz Baader, Wayne Snyder (2001). Alan Robinson and Andrei Voronkov (ed.). Unification Theory (PDF). Elsevier. pp. 439–526. Archived from the original (PDF) on 2015-06-08. Retrieved 2014-09-24.

worldcat.org

search.worldcat.org

Hunter, Geoffrey (1996) [1971]. Metalogic: An Introduction to the Metatheory of Standard First-Order Logic. University of California Press (published 1973). p. 118. ISBN 9780520023567. OCLC 36312727. (accessible to patrons with print disabilities)