Search alternatives:
"translators" » "translator", "translations", "transistors"
Cover Image
Read Now

1
by Kohlenbach, Ulrich
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... of uniform boundedness -- Elimination of monotone Skolem functions -- The Friedman A-translation...”