The collected works of J. Richard Büchi
By: Saunders Mac Lane, Dirk Siefkes, editors.
Contributors: Mac Lane, Saunders, 1909-; Siefkes, Dirk.
Publisher: Springer-Verlag; Springer
Published: 1990
Place of publication: New York
Language: eng
Number of pages: 304
Subjects: Büchi, J. Richard.; Machine theory.; Logic, Symbolic and mathematical.
Description: xvi, 304 p. : 25 cm
Notes: Includes bibliographical references.