TY - BOOK ID - 110592246 TI - The collected works of J. Richard Büchi AU - Mac Lane, Saunders AU - Siefkes, Dirk PY - 1990 SN - 0387970649 3540970649 PB - New York, NY ; Berlin ; Heidelberg : Springer-Verlag, DB - UniCat KW - Informatique KW - Computer science. KW - Logique mathématique KW - Büchi, J. Richard. KW - Büchi, J. Richard KW - Mathematiques KW - Oeuvres completes KW - Oeuvres reunies KW - Machine theory. KW - Logic, Symbolic and mathematical. KW - Théorie des automates mathématiques. KW - Logique mathématique. KW - Büchi, Julius Richard, UR - https://www.unicat.be/uniCat?func=search&query=sysid:110592246 AB - ER -