कवर छवि

Advances in Proof-Theoretic Semantics

अन्य संस्करण दिखाएं (2)

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and...

पूर्ण विवरण

में बचाया:
ग्रंथसूची विवरण
निगमित लेखक: SpringerLink (Online service)
अन्य लेखक: Piecha, Thomas (संपादक), Schroeder-Heister, Peter (संपादक)
स्वरूप: इलेक्ट्रोनिक ई-पुस्तक
भाषा:अंग्रेज़ी
प्रकाशित: Cham : Springer International Publishing : Imprint: Springer, 2016.
संस्करण:1st ed. 2016.
श्रृंखला:Trends in Logic, Studia Logica Library, 43
विषय:
Logic.
Mathematical logic.
Machine theory.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
ऑनलाइन पहुंच:Link to Metadata
टैग: टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

इंटरनेट

Link to Metadata

3rd Floor Main Library

होल्डिंग्स विवरण से 3rd Floor Main Library
बोधानक: A1234.567
प्रति 1 उपलब्ध

समान संसाधन