Search results
Journal of Applied Logic > 2017 > 25 > S > S3-S24
Journal of Applied Logic > 2017 > 25 > C > 1-22
Historia Mathematica > 1998 > 25 > 4 > 412-422
Journal of Applied Logic > 2017 > 25 > S > S3-S24
Journal of Applied Logic > 2017 > 25 > C > 1-22
Historia Mathematica > 1998 > 25 > 4 > 412-422