Kreisel-Putnam logic

1. REDIRECT :Intermediate logic

{{Redirect category shell|

{{R from modification|1={{-r|Kreisel–Putnam logic}}}}

}}