000 00407nam a2200169Ia 4500
005 20250423094226.0
008 250422s9999 xx 000 0 und d
020 _a0- 683- 07535- 7
050 _aQA 9. S44/
100 _aDennis Sentilles
245 2 _aA bridge to advanced mathematics
260 _bWilliams and Wilkins
260 _c1975
300 _a387 p
650 _aProof theory
942 _cBK
999 _c26636
_d26636