3 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Automates mathématiques, Théorie des, Büchi, J. Richard, Gödel's theorem, Logic, symbolic and mathematical, Machine theory, Machines séquentielles, Théorie des, Model theory, Sequential machine theory, Symbolic and mathematical LogicPeople
J. Richard BüchiID Numbers
- OLID: OL955031A
Links outside Open Library
No links yet. Add one?
August 22, 2008 | Edited by RenameBot | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |