Mathematical logic and formal systems : a collection of papers in honor of professor Newton C.A. da Costa / edited by Luiz Paulo de Alcantara.
Material type:
TextPublisher: New York : Marcel Dekker, c1985Description: xiv, 297 p.ISBN: 0824773306 (pbk.).Subject(s): Logic, Symbolic and mathematicalDDC classification: 511.3
| Item type | Current library | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Book
|
Dr. B. R. Ambedkar Central Library Science | Science Collections | 511.3 Al16 Ma (Browse shelf(Opens below)) | Available | 150830 |
Browsing Dr. B. R. Ambedkar Central Library shelves, Shelving location: Science, Collection: Science Collections Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | |||||||
| 511.2 M56 Ge General systems theory : | 511.22 T743 Me Metamathematical investigation of intuitionistic arithmetic and analysis / | 511.3 Ai82 Lo Logic, automata, and algorithms / | 511.3 Al16 Ma Mathematical logic and formal systems : | 511.3 B237 La The lambda calculus : | 511.3 B237 La The lambda calculus : | 511.3 B2611 Al An algebraic introduction to mathematical logic / |
English and French.
There are no comments on this title.