Logic Colloquiumde Rohit ParikhMateriasLogic, symbolic and mathematicalMathematicsMathematics, generalEdiciones (1)Logic Colloquium (1975)Springer · ISBN 9783540071556Más obras de Rohit ParikhLogics of programsLogics of ProgramsTTARK Proceedings 1990 (Morgan-Kaufmann Series in RepresentatTARK Proceedings 1990 (Morgan-Kaufmann Series in Representation and Raasoning)Ver todas las obras de Rohit Parikh →
TTARK Proceedings 1990 (Morgan-Kaufmann Series in RepresentatTARK Proceedings 1990 (Morgan-Kaufmann Series in Representation and Raasoning)