Research Catalog

Three views of logic mathematics, philosophy, and computer science

Title
Three views of logic [electronic resource] : mathematics, philosophy, and computer science / Donald W. Loveland, Richard E. Hodel, S.G. Sterrett.
Author
Loveland, Donald W.
Publication
Princeton, New Jersey : Princeton University Press, [2014]

Available Online

  • Available from home with a valid library card
  • Available onsite at NYPL

Details

Additional Authors
  • Hodel, Richard E.
  • Sterrett, Susan G.
Description
1 online resource (xv, 322 p.) : illustrations.
Uniform Title
Three views of logic (Online)
Alternative Title
Three views of logic (Online)
Subject
  • Proof theory
  • Computable functions
  • Nonclassical mathematical logic
Bibliography (note)
  • Includes bibliographical references and index.
Access (note)
  • Access restricted to authorized users.
LCCN
2013949122
OCLC
ssj0001169539
Author
Loveland, Donald W.
Title
Three views of logic [electronic resource] : mathematics, philosophy, and computer science / Donald W. Loveland, Richard E. Hodel, S.G. Sterrett.
Imprint
Princeton, New Jersey : Princeton University Press, [2014]
Bibliography
Includes bibliographical references and index.
Access
Access restricted to authorized users.
Connect to:
Available from home with a valid library card
Available onsite at NYPL
Added Author
Hodel, Richard E.
Sterrett, Susan G.
View in Legacy Catalog