Errata zu "Die Boole'sche partialordung und die Paarung von Gefuegen" (Port. Math., 7(3) (1948), 119-180) Büchi, J. Richard — 1948 Portugaliae mathematica
Die Boole'sche partialordung und die Paarung von Gefuegen Büchi, J. Richard — 1948 Portugaliae mathematica
Coding in the existential theory of concatenation. J. R. Büchi; St. Senger — 1987 Archiv für mathematische Logik und Grundlagenforschung