( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Computability and logic

, , , и . Cambridge University Press, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

George Mertzios

Combinatorial optimization and recognition of graph classes with applications to related models. TU Aachen, (2009)

Andrew George

George Biros

George Bandlamudi

George Marinescu

 

Другие публикации лиц с тем же именем

1-consistency and the diamond.. Notre Dame J. Formal Log., 26 (4): 341-347 (1985)Computability and logic., и . Cambridge Univ. Press, (1974)Frege's theorem and the Peano postulates.. Bull. Symb. Log., 1 (3): 317-326 (1995)Degrees of Unsolvability of Constructible Sets of Integers., и . J. Symb. Log., 33 (4): 497-513 (1968)The Analytical Completeness of Dzhaparidze's Polymodal Logics.. Ann. Pure Appl. Log., 61 (1-2): 95-111 (1993)Is Hume's Principle Analytic. Logic, Logic, and Logic, Harvard University Press, Cambridge, Massachusetts, (1998)Alphabetical order.. Notre Dame J. Formal Log., 29 (2): 214-215 (1988)Provability: the emergence of a mathematical modality., и . Stud Logica, 50 (1): 1-23 (1991)Computability and logic (2. ed.)., и . Cambridge University Press, (1987)On the Nonexistence of Certain Normal Forms in the Logic of Provability.. J. Symb. Log., 47 (3): 638-640 (1982)