@BOOK{ Book!D - 101491601,
AUTHOR = "/ James Franklin, Albert Daoud",
TITLE = "Introduction to proofs in mathematics",
LIBRARY= "كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين",
SUBJECT = "Proof theory",
URL = "/book/101491601/Introduction-to-proofs-in-mathematics/"}