00000cam a22000004a 4500 UP-99796217610616273 Buklod 20230215105418.0 m |o d | ta 120326s2012 nyua rb |001 0|eng d 9780521517690 (iLib)UPD-00194806123 E2-247G Belview PhP 5,050.00 Prof. Wigi Vei Oliveros (recommending faculty) CS UKMGB DLC DENGII eng DMLUC QA 9.54 S39 2012 Schwichtenberg, Helmut 1942- Proofs and computations Helmut Schwichtenberg, Stanley S. Wainer. Ithaca, N.Y. Cambridge Association for Symbolic Logic Cambridge University Press 2012. xiii, 465 p. ill. Perspectives in logic Computable functions. Proof theory. Discrete mathematics for computer science CS 30. Data structures CS 32. Automata theory and computability CS 133. Algorithm design and analysis CS 135. Wainer, S. S. Association for Symbolic Logic. Perspectives in logic. Book http://www.loc.gov/catdir/enhancements/fy1208/2011276796-t.html Table of contents only FO Monograph UPD DENG-II QA 9.54 S39 2012 Book