Marek, V. W. (1943-)

Introduction to mathematics of satisfiability / by: Marek, V. W. (1943-) (書目-語言資料,印刷品)

Andrzej Mostowski and foundational studies / by: Mostowski, Andrzej.; Ehrenfeucht, Andrzej.; Marek, V. W. (1943-); Srebrny, Marian, (1947-) (書目-語言資料,印刷品)