@BOOK{ Book!D - 93582397,
AUTHOR = "/ Jean-Yves Girard ",
TITLE = "Proofs and types",
LIBRARY= "کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند",
SUBJECT = "Proof theory,Logic, Symbolic and mathematical,Type theory",
URL = "/book/93582397/Proofs-and-types/"}