Siirry suoraan sisältöön
Finitely Axiomatizable Theories
Tallenna

Finitely Axiomatizable Theories

This is the only monograph devoted to the expressibility of finitely axiomatizable theories, a classical subject in mathematical logic. Also included in this unique text are solutions to both the Vaught-Morely problem and the Hanf problem, and a number of new natural questions that provide prospects for further development of the theory.
Painos
1997 ed.
ISBN
9780306110627
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
30.9.1997
Sivumäärä
294