Independence-friendly logic: A game-theoretic approach. LMS Lecture Notes, vol. 386 Allen L. Mann Gabriel Sandu Merlijn Sevenster

Autor: Bradfield, Julian
Zdroj: The Bulletin of Symbolic Logic, 2012 Jun 01. 18(2), 272-273.
Databáze: JSTOR Journals