Skip to content
Vinony

Logic and automata

by Jörg Flum, Erich Grädel

Cover of Logic and automata

No description available.

Machine theoryMathematicsComputational complexitySymbolic and mathematical LogicComputer scienceScience: general issuesLogic, symbolic and mathematical