Constructions of classical models by means of Kripke models (Survey)

DOI10.1007/BF00370477zbMath0439.03014MaRDI QIDQ1142205

Could not fetch data.

Publication date: 1979

Published in: (Search for Journal in Brave)

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.

This page was built for publication: Constructions of classical models by means of Kripke models (Survey)