@BOOK{ Book!D - 72167579,
AUTHOR = "Troelstra, A. S. )Anne Sjerp(",
TITLE = "Metamathematical investigation of intuitionistic arithmetic and analysis",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "، Intuitionistic mathematics,، Proof theory,، Model theory",
URL = "/book/72167579/Metamathematical-investigation-of-intuitionistic-a/"}