Skip navigation
The Australian National University

An introduction to classical propositional logic: syntax, semantics, sequents

Citation

Gore, R 2003, 'An introduction to classical propositional logic: syntax, semantics, sequents', in Helen Lauer (ed.), History and Philosophy of Science for African Undergraduates, Hope Publications Ltd, Ibadan, Nigeria, pp. 597-643.

Year

2003

ANU Authors

Field of Research

  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)

Updated:  25 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers