Switch to: Citations

Add references

You must login to add references.
  1. Théories d'algèbres de Boole munies d'idéaux distingués. II.Alain Touraille - 1990 - Journal of Symbolic Logic 55 (3):1192-1212.
  • Theories d'Algebres de Boole Munies d'Ideaux Distingues. I. Theories Elementaires.Alain Touraille - 1987 - Journal of Symbolic Logic 52 (4):1027-1043.
  • Introduction to the Special Issue on Vaught's Conjecture.Peter Cholak - 2007 - Notre Dame Journal of Formal Logic 48 (1):1-2.
  • Review: Michael O. Rabin, Decidability of Second-order Theories and Automata on Infinite Trees. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):618-619.