Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)

 
 

 

Report: an examination of a decision procedure


Author: F. C. Oglesby
Journal: Bull. Amer. Math. Soc. 67 (1961), 300-304
DOI: https://doi.org/10.1090/S0002-9904-1961-10593-4
MathSciNet review: 0123469
Full-text PDF

References | Additional Information

References [Enhancements On Off] (What's this?)

  • 1. W. Ackermann, A review of [5], J. Symb. Logic vol. 21 (1956) p. 197. MR 80607
  • 2. J. Herbrand, Recherches sur la théorie de la démonstration, Trav. Soc. Sci. Lett. Varsovie, Classe III, no. 33, 1930.
  • 3. D. Hilbert and W. Ackermann, Principles of mathematical logic, New York, Chelsea Publishing Company, 1950.
  • 4. K. J. Hintikka, Distributive normal forms in the calculus of predicates, Acta Philosophica Fennica vol. 6 (1953) 71 pp. MR 69778
  • 5. R. Stanley, An extended procedure in quantificational logic, J. Symb. Logic vol. 18 (1953) pp. 97-104. MR 55955
  • 6. W. V. Quine, On the logic of quantification, J. Symb. Logic vol. 10 (1945) pp. 1-12. MR 12596


Additional Information

DOI: https://doi.org/10.1090/S0002-9904-1961-10593-4

American Mathematical Society