DaftarIsitemplate
 
Call Number
162 Pra n
Title
Natural deduction: a proof-theoretical study/ Da Prawitz
Author
Prawitz, Dag;
Publisher
New York: Dover Publications, 2006
Subject
Logic; Logic symbolic and mathematical
Location
FASILKOM-UI;