Independence-Friendly Logic: A Game-Theoretic Approach, Allen L. Mann , Gabriel Sandu and Merlijn Sevenster , Cambridge University Press, 2011. Paperback, ISBN 9780521149341, 216 pp

Autor: Jouko Väänänen
Rok vydání: 2013
Předmět:
Zdroj: Theory and Practice of Logic Programming. 14:137-140
ISSN: 1475-3081
1471-0684
Databáze: OpenAIRE