Advertisement

Mathematical logic

  • Igor Lavrov
  • Larisa Maksimova
  • Giovanna Corsi
Part of the The University Series in Mathematics book series (USMA)

Keywords

Mathematical Logic Function Symbol Finite Subset Truth Table Axiom System 
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

© Springer Science+Business Media New York 2003

Authors and Affiliations

  • Igor Lavrov
    • 1
  • Larisa Maksimova
    • 2
    • 3
  • Giovanna Corsi
    • 4
  1. 1.Russian Academy of SciencesMoscowRussia
  2. 2.Sobolev Institute of Mathematics of Siberian Branch of Russian Academy of SciencesRussia
  3. 3.Novosibirsk State UniversityNovosibirskRussia
  4. 4.University of BolognaBolognaItaly

Personalised recommendations