Logical frameworks for truth and abstraction. An axiomatic study

Name: Logical frameworks for truth and abstraction. An axiomatic study
Author: Gérard Huet

by Gérard Huet · 1 review · 1998

Reviewed by	Journal	Date	Access
Thomas Strahm	The Journal of Symbolic Logic	1998	Restricted

Also by Huet