Switch to: References

Citations of:

Direct Tableaux Proofs

Analysis 41 (4):192 - 194 (1981)

Add citations

You must login to add citations.
  1. Logic and reasoning.Laurence Goldstein - 1988 - Erkenntnis 28 (3):297 - 320.