%0 Journal Article %1 journals/ndjfl/IkegamiV15 %A Ikegami, Daisuke %A Väänänen, Jouko %D 2015 %J Notre Dame J. Formal Log. %K dblp %N 1 %P 167-190 %T Boolean-Valued Second-Order Logic. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl56.html#IkegamiV15 %V 56

@article{journals/ndjfl/IkegamiV15, added-at = {2020-05-21T00:00:00.000+0200}, author = {Ikegami, Daisuke and Väänänen, Jouko}, biburl = {https://www.bibsonomy.org/bibtex/2fa588fce49a70406cb7a4e8b4a1fff2e/dblp}, ee = {https://doi.org/10.1215/00294527-2835065}, interhash = {de081ff06b0710543956dea0b5a3d0d0}, intrahash = {fa588fce49a70406cb7a4e8b4a1fff2e}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 1, pages = {167-190}, timestamp = {2020-05-23T12:17:44.000+0200}, title = {Boolean-Valued Second-Order Logic.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl56.html#IkegamiV15}, volume = 56, year = 2015 }