Proof and computations / Helmut Schwichtenberg, Stanley S. Wainer.

Bibliographic Details
Uniform Title:Perspectives in logic.
Main Author: Schwichtenberg, Helmut, 1942-
Corporate Author: Association for Symbolic Logic
Other Authors: Wainer, S. S.
Language:English
Published: Cambridge ; New York : Cambridge University Press, 2012.
Series:Perspectives in logic.
Subjects:
Proof theory.
Recursive functions.
Computable functions.
Physical Description:xiii, 465 pages : illustrations ; 25 cm.
Format: Book

MARC

LEADER 00000cam a2200000Ma 4500
001 in00005025040
003 OCoLC
005 20220616041108.0
008 111221s2012 enka b 001 0 eng d
020 |a 9780521517690 
020 |a 0521517699 
035 |a (CaEvSKY)sky246558748 
035 |a (OCoLC)772965072 
040 |a UKMGB  |c UKMGB  |d YDXCP  |d NhCcYBP  |d UtOrBLW 
049 |a EEMO 
050 4 |a QA9.54  |b .S39 2012 
082 0 4 |a 511.352  |2 23 
100 1 |a Schwichtenberg, Helmut,  |d 1942-  |0 http://id.loc.gov/authorities/names/n93040110 
245 1 0 |a Proof and computations /  |c Helmut Schwichtenberg, Stanley S. Wainer. 
260 |a Cambridge ;  |a New York :  |b Cambridge University Press,  |c 2012. 
300 |a xiii, 465 pages :  |b illustrations ;  |c 25 cm. 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Perspectives in logic 
504 |a Includes bibliographical references and index. 
650 0 |a Proof theory.  |0 http://id.loc.gov/authorities/subjects/sh85107437 
650 0 |a Recursive functions.  |0 http://id.loc.gov/authorities/subjects/sh85112014 
650 0 |a Computable functions.  |0 http://id.loc.gov/authorities/subjects/sh85029469 
700 1 |a Wainer, S. S.  |0 http://id.loc.gov/authorities/names/n82129389 
710 2 |a Association for Symbolic Logic.  |0 http://id.loc.gov/authorities/names/n50054564 
830 0 |a Perspectives in logic.  |0 http://id.loc.gov/authorities/names/no2009092095 
907 |y .b93329623  |b 210805  |c 120308 
998 |a rs  |b 120503  |c m  |d a   |e -  |f eng  |g enk  |h 0  |i 2 
999 f f |i d1eccfc3-8a6e-51a4-af21-27ac98a0a1f8  |s f1fa3885-d407-5287-88b0-20a4bdc920a6  |t 0 
952 f f |p Can Circulate  |a Michigan State University-Library of Michigan  |b Michigan State University  |c MSU Remote Storage  |d MSU Remote Storage  |t 0  |e QA9.54 .S39 2012  |h Library of Congress classification  |i Printed Material  |m 31293003622200  |n 1