Маковский Йоханн

Доклады и лекции в базе данных Math-Net.Ru

1. Model theory in computer science: My own recurrent themes
   Й. Маковский
   Logical Perspectives 2022: Open Lectures
   15 декабря 2022 г. 16:00   
2. The undecidability of various affine Pappian geometries: wrong proofs and new true theorems
   J. A. Makowsky
   Logical Perspectives 2018
   17 мая 2018 г. 16:30