An internal determinacy metatheorem for Lukasiewicz's Aussagenkalkuls

Bulletin of the Section of Logic, Tom 29, Numer 3 (2000) s. 115-124
Dale Jacquette

 

do góry