Yakovski asoschilaridan biri hisoblanadi tabiiy chegirma u mustaqil ravishda kashf etgan Gerxard Gentzen 1930-yillarda. Dastlab Gentzenning yondashuvi mantiqchilar tomonidan ko'proq mashhur bo'ldi, chunki bu usulni isbotlash uchun ishlatilishi mumkin edi chiqib ketish teoremasi. Biroq, Yakovskiy dalillarni amalda bajarish uslubiga yaqinroq. Shuningdek, u birinchilardan bo'lib rasmiy hisob-kitobni taklif qildi nomuvofiqlikka chidamli (yoki parakonsistent) mantiq. Bundan tashqari, Yakovskiy ikkalasini ham tergov qilishda kashshof bo'lgan intuitivistik mantiq va bepul mantiq.
Ishlaydi
Rasmiy mantiqdagi taxminlar qoidalari to'g'risida Studia Logica 1, 1934, 5-32 betlar (qayta nashr etilgan: Storrs Makkol (tahr.), Polsha mantiqi 1920-1939 yillar, Oksford universiteti matbuoti, 1967 bet 232–258
Intuitsionistik mantiq tizimidagi tekshirishlar 1936 (tarjima qilingan: Storrs Makkol (tahr.), Polsha mantiqi 1920-1939 yillar, Oksford universiteti matbuoti, 1967 yil 259-263 betlar
Mos kelmaydigan deduktiv tizimlar uchun taxminiy hisob 1948 (qayta nashr etilgan: Studia Logica, 24 1969 yil, 143-157 betlar va: Mantiq va mantiqiy falsafa 7, 1999 yil 35-56 betlar)
Mos kelmaydigan deduktiv tizimlar uchun taklifiy hisoblashdagi munozarali birikma to'g'risida 1949 (qayta nashr etilgan: Mantiq va mantiqiy falsafa 7, 1999 y. 57-59 betlar)
Hech qanday individual o'zgaruvchi ikki martadan ortiq bo'lmagan formulalarda, Symbolic Logic Journal, 31, 1966, 1-6 betlar)
polyak tilida
O symetrii w zdobnictwie i przyrodzie - matematyczna teoria ornamentów (Inglizcha sarlavha: San'at va tabiatdagi simmetriya to'g'risida), PWS, Varszava, 1952 (kitob 168 bet)
Matematyczna teoria ornamentów (Inglizcha sarlavha: Bezaklarning matematik nazariyasi), PWN, Varszava, 1957 (kitob 100 bet)
