Normal view MARC view ISBD view

Tourlakis, George J.

Mathematical logic [electronic resource] / George Tourlakis. - xvii, 293 p. : ill.

Formerly CIP.

Includes bibliographical references (p. 281-283) and index.

Mathematical logic is the art and science of mathematical reasoning. Written for the undergraduate logic user, this text presents mathematical or 'symbolic' logic as a reliable tool for deductive reasoning in computer science, mathematics, philosophy, and other related disciplines.




Electronic reproduction.
Askews and Holts.
Mode of access: World Wide Web.

ISBN: 9781118030691 (e-book)

LCCN: 2008009433

Subjects--Topical Terms:
Logic, Symbolic and mathematical--Textbooks.
Mathematics
Mathematics
Mathematical logic
Computer science

Index Terms--Genre/Form:
Electronic books.