Pages that link to "Item:Q2986777"
From MaRDI portal
The following pages link to On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer (Q2986777):
Displaying 2 items.
The following pages link to On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer (Q2986777):
Displaying 2 items.