Pages that link to "Item:Q1267397"

The following pages link to Hilbert's logic. From axiomatics to proof theory (Q1267397):

Displaying 2 items.

• Hilbert's Programs: 1917–1922 (Q4254642) (← links)
• Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic (Q4940735) (← links)