( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Preface.

, , , и . Ann. Pure Appl. Log., 167 (10): 865-867 (2016)

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.

Ladislav Lev

Lev Stimmer

Lev Baron

Lev Baron

Lev Kadinski

 

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

Franco Montagna's Work on Provability Logic and Many-valued Logic., и . Stud Logica, 104 (1): 1-46 (2016)Open Least Element Principle and Bounded Query Computation.. CSL, том 1683 из Lecture Notes in Computer Science, стр. 389-404. Springer, (1999)Induction Rules, Reflection Principles, and Provably Recursive Functions.. Ann. Pure Appl. Log., 85 (3): 193-242 (1997)On propositional quantifiers in provability logic., и . Notre Dame J. Formal Log., 34 (3): 401-419 (1993)Provability, complexity, grammars., , и . American Mathematical Society translations series 2 American Mathematical Society, (1999)Preface., , , и . Ann. Pure Appl. Log., 167 (10): 865-867 (2016)On the query complexity of finding a local maximum point., и . Inf. Process. Lett., 84 (6): 327-332 (2002)Bimodal Logics for Extensions of Arithmetical Theories.. J. Symb. Log., 61 (1): 91-124 (1996)Calibrating Provability Logic: From Modal Logic to Reflection Calculus.. Advances in Modal Logic, стр. 89-94. College Publications, (2012)A Universal Algebra for the Variable-Free Fragment of $$RC^$$ RC ∇.. LFCS, том 10703 из Lecture Notes in Computer Science, стр. 91-106. Springer, (2018)