Logical frameworks for truth and abstraction an axiomatic study - Cantini, Andrea (Amsterdam Elsevier, 1996)
Keywords: Axiomatic study; Mathematical logic