Three views of logic: mathematics, philosophy, and computer science/
Loveland, Donald W.
Three views of logic: mathematics, philosophy, and computer science/ Donald W. Loveland, Richard E. Hodel, S.G. Sterrett. - xv, 322 pages: illustrations; 26 cm
Includes bibliographical references and index.
9780691160443 0691160449 140084875X 9781400848751
2013949122
GBB394847 bnb GBB394847 dnb
016520683 Uk
Proof theory.
Computable functions.
Nonclassical mathematical logic.
511.3 / L898t
Three views of logic: mathematics, philosophy, and computer science/ Donald W. Loveland, Richard E. Hodel, S.G. Sterrett. - xv, 322 pages: illustrations; 26 cm
Includes bibliographical references and index.
9780691160443 0691160449 140084875X 9781400848751
2013949122
GBB394847 bnb GBB394847 dnb
016520683 Uk
Proof theory.
Computable functions.
Nonclassical mathematical logic.
511.3 / L898t