Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem

Complete content of bib-files: bernaysproject.bib (ver. 3, 2/5/05), and bernays-reviews.bib (8/7/01). Note: Some entries are repeated. Please let me know if you find any. Note: The label of the entries, e.g., [Ber10] is not the one by which the entries are labeled in your latex file. To refer to an entry with the \cite{...} command, see for the label in the file bernaysproject.bib. (I know this is tedious, but I don’t know of another way of doing this If you know a way to print the cite keys, please let me know!)