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

Leave a Reply

Your email address will not be published. Required fields are marked *