Title: The collected works of J. Richard Büchi
Description: xvi, 304 p. : 25 cm
Subjects: Machine theory, Symbolic and mathematical Logic, Logic, symbolic and mathematical, Büchi, J. Richard
People: J. Richard Büchi