Mathematical logic and formal systems. A collection of papers in honor of Professor Newton (A da Costa). De Alcantara Lauiz Paulo Ed.
Material type:
TextLanguage: English Publication details: 1985DDC classification: - R14jN29, M5
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
South Campus Library | South Campus Library | R14jN29 M5 (Browse shelf(Opens below)) | Available | SC0959179 |
Browsing South Campus Library shelves Close shelf browser (Hides shelf browser)
| R141:(B2) L4 Studies in algebraic logic. | R142 J8.1 Combinatory logic.1V. | R14g N9 Handbook of tableau methods | R14jN29 M5 Mathematical logic and formal systems. A collection of papers in honor of Professor Newton (A da Costa). | R14k K9 RR Dictionary of symbols of mathematical logic. | R14k L8 RR Dictionary of logical terms and symbols. | R14oaD6,8(B) M7 Mathematical logic and theoretical computer science. |
There are no comments on this title.
Log in to your account to post a comment.