杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Handbook of the history of logic. Volume 5, Logic from Russell to Church Logic from Russell to Church / edited by Dov M. Gabbay and John Woods.

出版发行项:

Amsterdam : North Holland, 2009.

ISBN:

9780444516206

ISBN:

0444516204

载体形态项:

xii, 1056 p. ; 25 cm.

丛编说明:

Handbook of the History of Logic ; 5.

丛编统一题名:

Handbook of the History of Logic ; 5.

附加个人名称:

Gabbay, Dov M., 1945-

附加个人名称:

Woods, John (John Hayden)

附加团体名称:

ScienceDirect (Online service)

论题主题:

Logic-History.

论题主题:

Logic-Early works to 1800.

中图法分类号:

B81-09

书目附注:

Includes bibliographical references and index.

内容附注:

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

摘要附注:

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

系统细节附注:

Mode of access: World Wide Web.

系统细节附注:

System requirements: Internet connectivity; World Wide Web browser.

豆瓣简介：