Elementary induction on abstract structures Moschovakis Yiannis N
Material type:
TextLanguage: English Series: Studies in Logic And Foundations of Matheamtics; 77Publication details: New York North Holland 1974Description: x, 218p. cmDDC classification: - B:(R1), L4
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | B:(R1) L4 (Browse shelf(Opens below)) | Available | SL0381268 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| B:(R1) L31 Symbolic logic and mechanical theorem proving | B:(R1) L31;1 Symbolic logic and mechanical theorem proving | B:(R1) L4 Outline of mathematical logic: Fundamentals results and notions explained with all details | B:(R1) L4 Elementary induction on abstract structures | B:R1 L5 Proof Theory | B:(R1) L51 Algebraic introduction to mathematical logic | B:(R1) L52 Infinitary logic: In memoriam carol karp |
There are no comments on this title.
Log in to your account to post a comment.