机读格式显示(MARC)
- 000 02113cam a2200397 a 4500
- 008 090810s2009 ne sb 001 0 eng d
- 035 __ |a (OCoLC)429898411
- 037 __ |a 133586:133711 |b Elsevier Science & Technology |n http://www.sciencedirect.com
- 040 __ |a OPELS |b eng |c OPELS |d CDX
- 050 14 |a BC15 |b .L64 2009
- 245 00 |a Handbook of the history of logic. |n Volume 5, |p Logic from Russell to Church Logic from Russell to Church / |c edited by Dov M. Gabbay and John Woods.
- 260 __ |a Amsterdam : |b North Holland, |c 2009.
- 300 __ |a xii, 1056 p. ; |c 25 cm.
- 490 1_ |a Handbook of the History of Logic ; |v 5.
- 504 __ |a Includes bibliographical references and index.
- 505 0_ |a Russell's Logic / (Andrew D. Irvine) -- Logic for Meinongian Object Theory Semantics / (Dale Jacquette) -- The Logic of Brouwer and Heyting / (Joan Rand Moschovakis) -- Thoralf Albert Skolem / (Jens Erik Fenstad and Hao Wang) -- The Logic of the Tractatus / (Michael Potter) -- Lesniewski's Logic / (Peter Simons) -- Hibert's Proof Theory / (Wilfried Sieg) -- Hilbert's Epsilon Calculus and its Successors / (Hartly Slater) -- Go
- 506 __ |a Online version restricted to NUS staff and students only through NUSNET.
- 520 __ |a This volume is number five in the eleven volume Handbook of the History of Logic. It covers the first fifty years of the development of mathematical logic in the twentieth century, and concentrates on the achievements of the great names of the period; Russell, Post, Go
- 538 __ |a Mode of access: World Wide Web.
- 538 __ |a System requirements: Internet connectivity; World Wide Web browser.
- 650 _0 |a Logic |x History.
- 650 _0 |a Logic |v Early works to 1800.
- 700 1_ |a Gabbay, Dov M., |d 1945-
- 700 1_ |a Woods, John |q (John Hayden)
- 710 2_ |a ScienceDirect (Online service)
- 830 _0 |a Handbook of the History of Logic ; |v 5.