Author(s): Schwichtenberg, Helmut; Wainer, Stanley S
Series: PERSPECTIVES IN LOGIC
Publisher: CUP
Year: 2012
Language: English
Pages: 465
City: Poughkeepsie, NY
Tags: Computable functions.;Proof theory.