Image from Amazon.com
Image from Google Jackets
Mathematical logic and formal systems editor Luiz Paulo de Alcantara
Material type:
TextSeries: Lecture notes in pure and applied mathematics; v.94Publication details: New York Marcel Dekker 1985Description: xiii, 297pISBN: - 0824773306
- 511.3 D279M
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
General Books
|
Govind Ballabh Pant University of Agriculture and Technology | 511.3 D279M (Browse shelf(Opens below)) | Available | 336252 |
Browsing Govind Ballabh Pant University of Agriculture and Technology shelves Close shelf browser (Hides shelf browser)
|
No cover image available No cover image available |
|
|
|
|
|
||
| 511.3 C456D Discrete mathematics | 511.3 C495S,12 Set theory and numbers | 511.3 C951A Algebra and logic | 511.3 D279M Mathematical logic and formal systems | 511.3 D497A Aspects of constructibility | 511.3 D553L Large infinitary languages | 511.3 D783F Formal languages and automata theory |
A collection of papers in honor of Professor Newton C. A. da Costa
Includes index
There are no comments on this title.