00336nam a2200121Ia 4500082001900000100001600019245008600035260003400121300001000155490003900165500000500204700000500209  a512.7bT649.TS  aToledo, Sue  aTableau systems for first order number theory and certain higher order theoriesb  aBerlinbSpringer-Verlagc1975  a339p.  aLecture notes in Mathematicsv 447  a  a