@BOOK{ Book!D - 94201262,
AUTHOR = "/ A. S. Troelstra",
TITLE = "Metamathematical investigation of intuitionistic arithmetic and analysis",
LIBRARY= "کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی",
SUBJECT = "Intutitionistic mathematics,Proof Theory,Model Theory",
URL = "/book/94201262/Metamathematical-investigation-of-intuitionistic-a/"}