APA (7th ed.) Citation

Knoblock, T. B. (1987). Metamathematical extensibility in type theory. Cornell Univ., Dep. of Computer Science.

Chicago Style (17th ed.) Citation

Knoblock, Todd B. Metamathematical Extensibility in Type Theory. Ithaca, NY: Cornell Univ., Dep. of Computer Science, 1987.

MLA (9th ed.) Citation

Knoblock, Todd B. Metamathematical Extensibility in Type Theory. Cornell Univ., Dep. of Computer Science, 1987.

Warning: These citations may not always be 100% accurate.