Proceeding on orders : Description and roles by Pouzet Maurice Ed.; Richard Denis Ed.
Material type:
TextLanguage: English Series: Annals of Discrete Mathematics; 23Publication details: Amsterdam North-Holland 1984Description: xxvii,450p. cmSubject(s): DDC classification: - B:(R1)p1,N82, M4;1
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | B:(R1)p1,N82 M4;1 (Browse shelf(Opens below)) | Available | SL0842351 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| B:(R1)p1,N78 L9 Proceeding on logic colloquium 78 | B:(R1)p1,N79 L9 Proceeding on recursion theory : Its generalisations and applications | B:(R1)p1,N79 M1 Proceeding on logic year 1979-80 | B:(R1)p1,N82 M4;1 Proceeding on orders : Description and roles | B:(R1)p1,N83 M4 Proceeding on computation and proof theory | B:(R1)p1,N83 M5 Proceeding on methods in mathematical logic | B:(R1)p1,N84 M4 Proceeding on automated deduction |
There are no comments on this title.
Log in to your account to post a comment.