Pages that link to "Item:Q1884882"

The following pages link to Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic (Q1884882):

Displaying 1 item.

• Program verification with interacting analysis plugins (Q2642983) (← links)