000 00400 a2200133 4500
080 _a501(063)
_bI 61 P
245 1 _aProceedings
_cedited by R.E. Butts and J. Hintikka
260 _aHolland
_bD. Reidel Publishing Company
_c1977
650 _aPhilosophy of Science
500 _aPart 1: Logic, foundations of mathematics and computability theory
100 _a
_d
300 _a406 p.
901 _a145979
999 _c65713
_d65713