Lean logic

Lean logic

2016 • 623 pages