Switch to: Citations

References in:

Logical frameworks for truth and abstraction: an axiomatic study

New York: Elsevier Science B.V. (1996)

Add references

You must login to add references.

No references yet.