MoL-2013-15: Maurice Pico Completeness proofs via canonical models on increasingly generalized settings 1.Full Text, 2.Abstract. < Back
