Search alternatives:
"translator" » "translation", "translated", "translations"
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...”
Cover Image
Read Now

2
Published 2014
Springer Berlin Heidelberg
Table of Contents: “...On Normal Numbers -- Dependence Logic -- Syntax and Semantics for Translation -- Intersection types...”