Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /

में बचाया:
ग्रंथसूची विवरण
निगमित लेखक: ebrary, Inc
अन्य लेखक: Sambin, Giovanni, Smith, Jan M.
स्वरूप: इलेक्ट्रोनिक ई-पुस्तक
भाषा:अंग्रेज़ी
प्रकाशित: Oxford : New York : Clarendon Press ; Oxford University Press, 1998.
श्रृंखला:Oxford logic guides ; 36.
Oxford science publications.
विषय:
ऑनलाइन पहुंच:An electronic book accessible through the World Wide Web; click to view
टैग: टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!