%0 Journal Article %1 journals/mlq/Kirk80 %A Kirk, Robert E. %D 1980 %J Math. Log. Q. %K dblp %N 32-33 %P 497-501 %T A Characterization of the Classes of Finite Tree Frames Which are Adequate for the Intuitionistic Logic. %U http://dblp.uni-trier.de/db/journals/mlq/mlq26.html#Kirk80 %V 26

@article{journals/mlq/Kirk80, added-at = {2016-12-05T00:00:00.000+0100}, author = {Kirk, Robert E.}, biburl = {https://www.bibsonomy.org/bibtex/26939febdeb88bddde4a120352afd70b6/dblp}, ee = {http://dx.doi.org/10.1002/malq.19800263202}, interhash = {1a09ea895b8fa6457314194cd0c33da2}, intrahash = {6939febdeb88bddde4a120352afd70b6}, journal = {Math. Log. Q.}, keywords = {dblp}, number = {32-33}, pages = {497-501}, timestamp = {2016-12-06T11:34:06.000+0100}, title = {A Characterization of the Classes of Finite Tree Frames Which are Adequate for the Intuitionistic Logic.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq26.html#Kirk80}, volume = 26, year = 1980 }