7. Substitution of Terms

  1. Zofia Adamowicz1 and
  2. Paweł Zbierski2

Published Online: 30 SEP 2011

DOI: 10.1002/9781118032541.ch7

Logic of Mathematics: A Modern Course of Classical Logic

Logic of Mathematics: A Modern Course of Classical Logic

How to Cite

Adamowicz, Z. and Zbierski, P. (1997) Substitution of Terms, in Logic of Mathematics: A Modern Course of Classical Logic, John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9781118032541.ch7

Author Information

  1. 1

    Institute of Mathematics of the Polish Academy of Sciences

  2. 2

    Department of Mathematics, Warsaw University

Publication History

  1. Published Online: 30 SEP 2011
  2. Published Print: 18 MAR 1997

ISBN Information

Print ISBN: 9780471060260

Online ISBN: 9781118032541

SEARCH

Keywords:

  • quantifier;
  • integers;
  • substitution lemma;
  • constant symbol;
  • axiom system

Summary

This chapter contains sections titled:

  • Substitution Lemma

  • Lemma

  • The Replacement of Constants by Terms

  • Expansions and Reducts

  • Lemma

  • Example