Pages that link to "Item:Q2180528"

The following pages link to Herbrand constructivization for automated intuitionistic theorem proving (Q2180528):

Displaying 2 items.

• Slakje (Q45353) (← links)
• The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)