@article{IM2_1997_61_1_a9,
     author = {V. A. Yankov},
     title = {Dialogue interpretation of the classical predicate calculus},
     journal = {Izvestiya. Mathematics },
     pages = {225--233},
     publisher = {mathdoc},
     volume = {61},
     number = {1},
     year = {1997},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IM2_1997_61_1_a9/}
}