1 - Tableau systems for first order number theory and certain higher order theoriesToledo, Sue Ann (1940-....)Cote : [05 TOL 75]
