Csl 87de E. BorgerMateriasCongressesSymbolic and mathematical LogicComputer scienceMathematicsElectronic data processingComputersEdiciones (1)Csl 87 (1988)Springer · inglés · ISBN 9780387502410Más obras de E. BorgerAbstract state machines 2003CSL '89Ver todas las obras de E. Borger →