Techniques of admissible recussion theory Chong C T
Material type:
TextLanguage: English Series: Lecture notes in mathematics; 1106Publication details: Berlin Springer-Verlag 1984Description: ix,214p. cmSubject(s): DDC classification: - B:(R1), M4
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | B:(R1) M4 (Browse shelf(Opens below)) | Available | SL0842280 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| B:(R1) M1 Theory of indistinguishables: a search for explantory principles below the level of physics | B:(R1) M1.5/6 Mathematical inqury | B:(R1) M1;M4 Lambda calculus: its syntax and semantics | B:(R1) M4 Techniques of admissible recussion theory | B:(R1) M4 Computability | B:(R1) M6 Logic for computer science: Fundations of automatic theorem proving | B:(R1) M6 Semirings, automata languages |
Appendix 196-205p. cm.; Bibliography 206-211p. cm.
There are no comments on this title.
Log in to your account to post a comment.