More proofs of an axiom of Lukasiewicz

Citation

Slaney, J 2002, 'More proofs of an axiom of Lukasiewicz', Journal of Automated Reasoning, vol. 29, no. 1, pp. 59-66.

Year

2002

ANU Authors

Field of Research

  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)

Updated:  14 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers