Classical recursion theory : the theory of functions and sets of natural numbers ＜Studies in logic and the foundations of mathematics＞ New ed

Piergiorgio Odifreddi、North-Holland、1992

xvii, 668 p. 23 cm

0444894837

Classical recursion theory : the theory of functions and sets of natural numbers ＜Studies in logic and the foundations of mathematics＞ 2nd impression

Piergiorgio Odifreddi、Elsevier、1999

xix, 668 p. 24 cm

0444894837

Introduction to higher order categorical logic ＜Cambridge studies in advanced mathematics＞

J. Lambek, P.J. Scott、Cambridge University Press、1･･･

x, 293 p. 24 cm

0521356539

There's something about Gödel : the complete guide to the incompleteness theorem

Tutti pazzi per Gödel!

Francesco Berto、Wiley-Blackwell、2009

xx, 233 p. 23 cm

9781405197663

The Recursion Method and Its Applications : Proceedings of the Conference, Imperial College, London, England September 13-14, 1984 ＜Springer Series in Solid-State Sciences 58＞ Softcover reprint of the original 1st ed. 1987

Proceedings of the Conference, Imperial College, London, England September 13-14, 1984

Edited by Pettifor, D.G.; Edited by Weaire, D.L.、S･･･

192p H234 x W156

9783642824463

There's Something About Godel : The Complete Guide to the Incompleteness Theorem

The Complete Guide to the Incompleteness Theorem

By (author) Berto, Francesco、John Wiley and Sons　L･･･

256p H237 x W163

9781444315028

Human memory : structures and images pbk. ＜Cognitive psychology program＞

Mary B. Howes、Sage、c2007

xvii, 453 p. 26 cm

9781412916295 1412916291

Digital communication systems

Simon Haykin、Wiley、c2014

1 v. (various pagings) 25 cm

9780471647355

Mathematics Education ＜Major Themes in Education＞

Edited by Bishop, Alan、Taylor & Francis Ltd、2009.1･･･

1776p H234 x W156

9780415438742

Database systems : a practical approach to design, implementation, and management 6th ed

Thomas M. Connolly, Carolyn E. Begg、Pearson、c2015

xlviii, 1281, [104] p. 24 cm

9780132943260