Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht
Material type:
TextLanguage: English Series: Lecture notes in computer science; V 1261Publication details: Berlin Springer-Verlag 1997Description: x,370pSubject(s): DDC classification: - 005.131 M995
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata 4th Floor | 005.131 M995 (Browse shelf(Opens below)) | Available | 118261 |
Total holds: 0
Browsing ISI Library, Kolkata shelves, Shelving location: 4th Floor Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | No cover image available | |||||
| 005.131 K96 Programmer's introduction to computability and formal languages | 005.131 M282 Temporal logic of reactive and concurrent systems | 005.131 M282 Lectures on the logic of computer programming | 005.131 M995 Structures in logic and computer science | 005.131 Od24 Logic and computer science | 005.131 P322 Isabelle : a generic theorem prover | 005.131 P877 Computability in analysis and physics |
There are no comments on this title.
Log in to your account to post a comment.
