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 |
Externí odkaz: |