%0 Journal Article %1 tait-69 %A Tait, W. W. %D 1967 %J Journal Symbolic Logic %K logic, model theory} {algebraic %P 198-212 %T Intensional interpretations of functionals of finite type. I. %V 32

@article{tait-69, added-at = {2010-08-25T08:47:38.000+0200}, author = {Tait, W. W.}, biburl = {https://www.bibsonomy.org/bibtex/21c6ce0f92fcb542e97baeb678a60c55d/miguel.pagano}, interhash = {528787c5b09ac32023402afa682917ae}, intrahash = {1c6ce0f92fcb542e97baeb678a60c55d}, journal = {{Journal Symbolic Logic}}, keywords = {logic, model theory} {algebraic}, language = {{English}}, pages = {198-212}, timestamp = {2010-08-25T08:47:42.000+0200}, title = {{Intensional interpretations of functionals of finite type. I.}}, volume = {{32}}, year = {{1967}} }