Three views of logic
mathematics, philosophy, and computer science
Loveland, Donald W.
creator
Hodel, Richard E.
jt. aut.
Sterrett, S. G.
jt. aut.
text
xxu
New Jersey
Princeton University Press
2014
monographic
eng
xv, 322 p. : ill. ; 26 cm
Donald W. Loveland, Richard E. Hodel, S. G. Sterrett,
Includes bibliographical references and index.
Proof theory
Computable functions
511.3 LOT
9780691160443
BD-DhUL
160925
20160925101356.0