Subrecursive realizability and predicate logic

More works in this specialty

1. The structure of finite SR-groups

   Yanishevskiy, Vitaliy Valeryevich · 2008 · Candidate of Sciences · P.G. Demidov Yaroslavl State University

   • 01.01.06 Mathematical logic, algebra and number theory
2. Measures and normal forms for the fundamental group of a finite graph of groups

   Averina, Yana Sergeyevna · 2006 · Candidate of Sciences

   • 01.01.06 Mathematical logic, algebra and number theory
3. Galois spectrum and generating polynomials

   Sergeev, Alexander Eduardovich · 2005 · Candidate of Sciences

   • 01.01.06 Mathematical logic, algebra and number theory
4. Symmetries of graphs on surfaces and algebraic curves

   Amburg, Natalya Yakovlevna · 2004 · Candidate of Sciences

   • 01.01.06 Mathematical logic, algebra and number theory
5. Arithmetic problems with numbers all of whose prime divisors belong to special sets

   Changa, Maris Yevgen'yevich · 2004 · Candidate of Sciences

   • 01.01.06 Mathematical logic, algebra and number theory

All works in this specialty