Logic Library

Group in Logic and the Methodology of Science
University of California, Berkeley

Type of document: Article

Language: English

Author(s): Wang, H. ; Moore, E. F. ; Kahr, A. S.

Title: Entscheidungsproblem Reduced to the $\forall \exists \forall$ Case

Year: 1962

Source: Proceedings of the National Academy of Sciences

Volume: 48

Pages: 1-13

Catalog

Logic Group | UC Berkeley | College of Letters & Science

If you notice mistakes, please notify the Curator of the Logic Library: sherri (dot) roush (at) gmail (dot) com

Group in Logic and the Methodology of Science, 910 Evans Hall #3840, University of California, Berkeley, CA 94720-3840, USA
© 2005 Regents of the University of California