Switch to: Citations

References in:

Theorem counting

Topoi 13 (1):61-65 (1994)

Add references

You must login to add references.
  1. A theorem about infinite-valued sentential logic.Robert McNaughton - 1951 - Journal of Symbolic Logic 16 (1):1-13.