Proof theory: an introduction Pohlers Wolfram
Material type:
TextLanguage: English Series: Lecture notes in mathematics; 1407Publication details: Berlin Springer Verlag 1989Description: 213p. cmSubject(s): DDC classification: - B:(R1), M9
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | B:(R1) M9 (Browse shelf(Opens below)) | Available | SL1024099 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| B:(R1) M7 Nonstandard asymptotic analysis | B:(R1) M8 Parsing theory | B:(R1) M9 Understanding symbolic logic | B:(R1) M9 Proof theory: an introduction | B:(R1) N2 Proof theory: a selection of papers from the Leeds proof theory programme 1990 ed by Peter Aczel and REFs | B:(R1) N3 <The>Logic of provability by George Boolos | B:(R1) N3 Generalized nets |
There are no comments on this title.
Log in to your account to post a comment.