@BOOK{ Book!D - 90001383,
AUTHOR = " Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) ; translated from the French by Pierre Guillot and Marion Roman",
TITLE = "Computation, proof, machine :",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Mathematics-- History,Mathematics-- History-- 20th century,Mathematics, Ancient",
URL = "/book/90001383/Computation-proof-machine/"}