Propositional calculus with identity

Bulletin of the Section of Logic, Tom 27, Numer 3 (1998) s. 96-104
Tadao Ishii

 

do góry