000 00385nam a2200145Ia 4500
001 12684
008 170722s9999 xx 000 0 und d
100 _aChurch, Alonzo
245 _aIntroduction to mathematical logic /
260 _c1956.
490 _aPrinceton mathematical services^Marston Morse and Awtucker;17
653 _aMathematics
653 _aPhilosophy
942 _cGEN
999 _c57884
_d57884