Minimal Systems of Temporal Logic. - Dariusz Surowik (Axioms, 2020)

Elementary Number Theory Problems. Part II. - Artur Kornilowicz; Dariusz Surowik (Formaliz. Math., 2021)