Image from Amazon.com
Categories of algebraic logic Dumitru Busneag
Publication details: Bucuresti: Editura Academiei, 2006Description: XI, 265 p. 25 cmISBN:- 973271381x
- 511.3
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| Carti | IMAR | 511.3-BUS-1 (Browse shelf(Opens below)) | Available |
Browsing IMAR shelves Close shelf browser (Hides shelf browser)
| No cover image available |
|
|
|
|
No cover image available |
|
||
| 511.3-BOU-1 Elements de mathematique | 511.3-BUR Algebraic complexity theory | 511.3-BUS Handbook of proof theory | 511.3-BUS-1 Categories of algebraic logic | 511.3-CAR A graphic apology for symmetry and implicitness | 511.3-CAR A graphic apology for symmetry and implicitness | 511.3-CHA Symbolic logic and mechanical theorem proving |
eng
Bibliografie p. 263
Index p. 267
There are no comments on this title.
Log in to your account to post a comment.