Search alternatives:
"translations" » "translation"

1
by Fraïssé, Roland
Published 1986
North-Holland

2
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...

3
by Peterfalvi, Thomas
Published 2000
Cambridge University Press

4
by Korneĭchuk, Nikolaĭ Pavlovich
Published 1990
Cambridge University Press

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

6
by Bergeron, F., Labelle, Gilbert, Leroux, P.
Published 1998
Cambridge University Press

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...

8
by Skolem, Th
Published 1955
North-Holland Pub. Co.
Table of Contents: .... Hasenjaeger -- Models, translations and interpretations / G. Kreisel -- Ordered structures and related...

9
by Chatti, Saloua
Published 2019
Birkhäuser
Table of Contents: ...Chapter 1: General Introduction -- Chapter 2: The Rise of Arabic Logic: Authors, Translations...

10
Published 1994
Springer Netherlands
Table of Contents: ... (1902): Translated for the American Mathematical Society by E. V. Huntington (1903) -- On Non...

11
by Henkin, Leon
Published 1985
North-Holland Pub. Co.
... questions, model theory and decision problems for them, translations from logic to algebra and vice-versa...

12
by Mints, Grigori
Published 2000
Springer US
Table of Contents: ... Logic -- Negative Translation: Glivenko’s Theorem -- Program Interpretation of Intuitionistic Logic...

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...

14
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... -- Parallel Translation of DNA Clusters by VCSEL Array Trapping and Temperature Control with Laser...

15
by Picado, Jorge, Pultr, Aleš
Published 2021
Springer International Publishing
... formulated in the language of points; but in the point-free context one has either suitable translations...

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...

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

18
by Zermelo, Ernst
Published 2010
Springer Berlin Heidelberg
..., and pure mathematics and is supplemented by selected items from his Nachlass and part of his translations...

19
Published 1982
Springer Berlin Heidelberg
Table of Contents: ... groups -- On irreducible translation planes in odd characteristic, I -- The equivalence classes...

20
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... and Complete CPS-Translation for ??-Calculus -- Abstraction Barrier-Observing Relational Parametricity...