Arnold Beckmann, Jeremy Avigad, Georg Moser
special issue of the journal Annals of Pure and Applied Logic, Volume 136, Issues 1-2, Pages 1-218
Publication year: 2005