First-order Logic: An Introduction

Paperback