ENGLISH

Proofs and computations Helmut Schwichtenberg ; Stanley S. Wainer

By Schwichtenberg , Helmut; Wainer , Stanley S

Book information

Publisher
CUP
Year
2012
ISBN
978-0-521-51769-0, 0521517699
Language
english
Format
PDF
Filesize
2 MB (2301650 bytes)
Series
PERSPECTIVES IN LOGIC
Pages
465\480
Topic
Mathematics Logic
Library
kolxo3
Time added
2019-04-25 18:00:00
Computable functions.;Proof theory.

Similar books