The use of Kripke's schema as a reduction principle

DOI10.2307/2272124zbMath0382.03042OpenAlexW2156951686MaRDI QIDQ4161321

Could not fetch data.

Publication date: 1977

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272124

Mathematics Subject Classification ID

Could not fetch data.