Logic and computation: proceedings by Workshop on Logic and Computation, Carnegie Mellon University), Sieg, Wilfred fromContemporary Mathematics 0 Type: Book
