عرض عادي عرض مارك
  • Krajíček, Jan

Krajíček, Jan (إسم شخص)

عدد التسجيلات المستخدمة في: 1
الشكل المفضل: Krajíček, Jan

Machine generated authority record.

Work cat.: (OSt)23700: Krajíček, Jan, Forcing with random variables and proof complexity /, 2011.