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

1
by Fraïssé, Roland
Published 1986
North-Holland
Cover Image
Read Now

2
by Peterfalvi, Thomas
Published 2000
Cambridge University Press
Cover Image
Read Now

3
by Korneĭchuk, Nikolaĭ Pavlovich
Published 1990
Cambridge University Press
Cover Image
Read Now

4
by Picard, Claude François
Published 1980
North-Holland Publishing Company, Sole distributors for the U.S.A. and Canada, Elsevier North-Holland
Cover Image
Read Now

5
by Bergeron, F., Labelle, Gilbert, Leroux, P.
Published 1998
Cambridge University Press
Cover Image
Read Now

6
by Golumbic, Martin Charles, Sainte-Laguë, André
Published 2021
Springer International Publishing
“...Marking 94 years since its first appearance, this book provides an annotated translation of Sainte...”
Cover Image
Read Now

7
by Krajíček, Jan
Published 2019
Cambridge University Press
Table of Contents: “... of the correspondence -- Two worlds of bounded arithmetic -- Up to EF via the <...> translation -- Examples of upper...”
Cover Image
Read Now

8
by Chatti, Saloua
Published 2019
Birkhäuser
Table of Contents: “...Chapter 1: General Introduction -- Chapter 2: The Rise of Arabic Logic: Authors, Translations...”
Cover Image
Read Now

9
Published 1994
Springer Netherlands
Table of Contents: “... (1902): Translated for the American Mathematical Society by E. V. Huntington (1903) -- On Non...”
Cover Image
Read Now

10
by Mints, Grigori
Published 2000
Springer US
Table of Contents: “... Logic -- Negative Translation: Glivenko’s Theorem -- Program Interpretation of Intuitionistic Logic...”
Cover Image
Read Now

11
by Skolem, Th
Published 1955
North-Holland Pub. Co.
Table of Contents: “.... Hasenjaeger -- Models, translations and interpretations / G. Kreisel -- Ordered structures and related...”
Cover Image
Read Now

12
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Parallel Translation of DNA Clusters by VCSEL Array Trapping and Temperature Control with Laser...”
Cover Image
Read Now

13
Published 2014
Springer New York
Table of Contents: “... translation, needs redoing) -- 2.4 Item 8 below (old translation, needs redoing) -- 2.5 Exercise 31pc in item...”
Cover Image
Read Now

14
by Herman, Jiri, Kucera, Radan, Simsa, Jaromir
Published 2003
Springer New York
“... Republic. The translator, Karl Dilcher, is Professor of Mathematics at Dalhousie University in Canada...”
Cover Image
Read Now

15
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

16
by Kharazishvili, A.B.
Published 1998
Springer Netherlands
Table of Contents: “... ?-ideals on the real line -- 7. Translations of sets and functions -- 8. The Steinhaus property...”
Cover Image
Read Now

17
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... and Complete CPS-Translation for ??-Calculus -- Abstraction Barrier-Observing Relational Parametricity...”
Cover Image
Read Now

18
Published 1982
Springer Berlin Heidelberg
Table of Contents: “... groups -- On irreducible translation planes in odd characteristic, I -- The equivalence classes...”
Cover Image
Read Now

19
Published 2018
Springer International Publishing
Table of Contents: “..., Empiricism, and Translation (Roy T Cook) -- Chapter 4. Putnam’s Theorem on the Complexity of Models (Warren...”
Cover Image
Read Now

20
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- Propositional quantification in intuitionistic logic -- Sketch-as-proof -- Translating set theoretical proofs...”