Table of Contents:
  • Includes bibliographical references (pages 272-280)
  • Lower predicate calculus
  • Algebraic theories
  • Some concepts and methods of model theory
  • Completeness
  • Definability
  • Generalization of algebraic concepts
  • Metamathematicals theory of ideals
  • Metamathematical theory of varieties
  • Selected topics