Qal wa- omer and Theory of Massive-Parallel Proofs

Andrew Schumann
  • History and Philosophy of Logic, February 2011, Taylor & Francis
  • DOI: 10.1080/01445340.2010.506104

In partnership with: