Zfc-Models as Kripke-Models

Franco Montagna. Zfc-Models as Kripke-Models. Math. Log. Q., 29(3):163-168, 1983. [doi]

Abstract

Abstract is missing.