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

6^th place

6^th place

3encyclopediaofmath.org

3,863^rd place

2,637^th place

5^th place

5^th place

2books.google.com

3^rd place

3^rd place

1web.archive.org

1^st place

1^st place

2,120^th place

1,328^th place

179^th place

183^rd place

2^nd place

2^nd place

274^th place

309^th 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.
Takeuti, Gaisi; Zaring, Wilson M. (1982). "Introduction to Axiomatic Set Theory". Graduate Texts in Mathematics: 6–9. doi:10.1007/978-1-4613-8168-6. ISSN 0072-5285. Archived from the original on 2014-08-06.

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.

doi.org

Takeuti, Gaisi; Zaring, Wilson M. (1982). "Introduction to Axiomatic Set Theory". Graduate Texts in Mathematics: 6–9. doi:10.1007/978-1-4613-8168-6. ISSN 0072-5285. Archived from the original on 2014-08-06.

encyclopediaofmath.org

Sobolev, S. K. (2001) [1994], "Equality axioms", Encyclopedia of Mathematics, EMS Press
Sobolev, S. K. (2001) [1994], "Individual variable", Encyclopedia of Mathematics, EMS Press
Sobolev, S. K. (2001) [1994], "Free variable", Encyclopedia of Mathematics, EMS Press

springer.com

link.springer.com

Takeuti, Gaisi; Zaring, Wilson M. (1982). "Introduction to Axiomatic Set Theory". Graduate Texts in Mathematics: 6–9. doi:10.1007/978-1-4613-8168-6. ISSN 0072-5285. Archived from the original on 2014-08-06.

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)
Takeuti, Gaisi; Zaring, Wilson M. (1982). "Introduction to Axiomatic Set Theory". Graduate Texts in Mathematics: 6–9. doi:10.1007/978-1-4613-8168-6. ISSN 0072-5285. Archived from the original on 2014-08-06.