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
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha