Advertisement

Models of Axiomatic Theories

Chapter
  • 181 Downloads
Part of the Synthese Library book series (SYLI, volume 70)

Abstract

The preceding chapter was concerned with the logical calculus, used by mathematicians in constructing various axiomatic theories.

Keywords

Free Variable Atomic Formula Predicate Symbol Existential Quantifier Atomic Sentence 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© PWN — Polish Scientific Publishers, Warszawa, Poland 1974

Authors and Affiliations

  1. 1.Warsaw UniversityUSA

Personalised recommendations