Proofs and computations /

Detalles Bibliográficos
Main Authors: Schwichtenberg, Helmut, Wainer, S. S. (Author)
Autor Corporativo: Association for Symbolic Logic
Formato: Printed Book
Idioma:English
Publicado: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
Series:Perspectives in logic.
Subjects:
Computable functions.
Proof theory.
Acceso en liña:Table of contents only
Contributor biographical information
Publisher description
LEADER 01669cam a22003617a 4500
008 120326s2012 nyua b 001 0 eng d
999 |c 335182  |d 335182 
010 |a  2011276796 
015 |a GBB200039  |2 bnb 
016 7 |a 015996911  |2 Uk 
020 |a 9780521517690 
020 |a 0521517699 
035 |a (OCoLC)ocn772965072 
042 |a lccopycat 
082 0 4 |a 511.352  |2 23 
100 1 |a Schwichtenberg, Helmut, 
245 1 0 |a Proofs and computations /  |c Helmut Schwichtenberg, Stanley S. Wainer. 
260 |a Ithaca, NY :  |b Association for Symbolic Logic ;  |a Cambridge ;  |a New York :  |b Cambridge University Press,  |c 2012. 
300 |a xiii, 465 p. :  |b ill. ;  |c 24 cm. 
490 1 |a Perspectives in logic 
504 |a Includes bibliographical references (p. 431-455) and index. 
650 0 |a Computable functions. 
650 0 |a Proof theory. 
700 1 |a Wainer, S. S.  |e Author. 
856 4 1 |3 Table of contents only  |u http://www.loc.gov/catdir/enhancements/fy1208/2011276796-t.html 
856 4 2 |3 Contributor biographical information  |u http://www.loc.gov/catdir/enhancements/fy1208/2011276796-b.html 
856 4 2 |3 Publisher description  |u http://www.loc.gov/catdir/enhancements/fy1208/2011276796-d.html 
942 |c BK 
710 2 |a Association for Symbolic Logic. 
830 0 |a Perspectives in logic. 
906 |a 7  |b cbc  |c copycat  |d 2  |e ncip  |f 20  |g y-gencatlg 
955 |b xn02 2012-03-26 z-processor to USPL  |a xh00 2012-03-28 to xh00  |a rf18 2012-05-19 additional copy received xh00 2012-11-21 to USPL/STM  |i xh58 2013-05-30 ; to CALM 
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_352000000000000  |7 0  |9 383487  |a MAT  |b MAT  |c ST1  |d 2019-05-13  |i 6025  |l 0  |o 511.352  |p MAT6025  |r 2019-05-13  |w 2019-05-13  |y BK 

Títulos similares