@BOOK{ Book!D - 77753802,
AUTHOR = "Troelstra, Anne Sjerp",
TITLE = "Metamathematical investigation of intuitionistic arithmetic and analysis",
LIBRARY= "کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد",
SUBJECT = "، Intuitionistic mathematics,، Proof theory,، Model theory",
URL = "/book/77753802/Metamathematical-investigation-of-intuitionistic-a/"}