Switch to: Citations

References in:

Provability in Logic

Journal of Symbolic Logic 23 (1):37-38 (1957)

Add references

You must login to add references.

No references yet.