-
1
Logic, construction, computation
Published 2012“…Ontos mathematical logic ;…”
Full text (Emmanuel users only)
Electronic eBook -
2
Ways of proof theory
Published 2010“…Ontos mathematical logic ;…”
Full text (Emmanuel users only)
Electronic eBook -
3
Logic, Computation, Hierarchies.
Published 2014“…Ontos mathematical logic.…”
Full text (Emmanuel users only)
Electronic eBook -
4
Logic without borders : essays on set theory, model theory, philosophical logic, and philosophy of mathematics
Published 2015“…Ontos mathematical logic ;…”
Full text (Emmanuel users only)
Electronic eBook -
5
Concepts of proof in mathematics, philosophy, and computer science
Published 2016“…Ontos mathematical logic ;…”
Full text (Emmanuel users only)
Electronic eBook