लोड हो रहा है...

Proofs and computations /

ग्रंथसूची विवरण
मुख्य लेखकों:	Schwichtenberg, Helmut, Wainer, S. S. (लेखक)
निगमित लेखक:	Association for Symbolic Logic
स्वरूप:	Printed Book
भाषा:	English
प्रकाशित:	Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
श्रृंखला:	Perspectives in logic.
विषय:	Computable functions. Proof theory.
ऑनलाइन पहुंच:	Table of contents only Contributor biographical information Publisher description

होल्डिंग्स विवरण से University of Calicut
बोधानक:	511.352
प्रति	लाइव स्थिति उपलब्ध नहीं है

समान संसाधन