Cover Image
Read Now

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Computable Fields and Weak Truth-Table Reducibility -- What Is the Problem with Proof Nets for Classical...”