IMSc Library catalog › Details for: Quantifiers: Logics, Models and Computation

Normal view MARC view ISBD view

Quantifiers: Logics, Models and Computation - 2 Vols. I:Surveys; II: Contributions

TextSeries: Synthese Library, Vols. 248-249Publication details: Netherlands ; Kluwer ; 1995Description: 418p; 269pISBN: 0 7923 3450 7Subject(s): Quantifiers Logics Computation

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	510.6 KRY (Browse shelf (Opens below))		Available		42514
IMSc Library	IMSc Library	510.6 KRY (Browse shelf (Opens below))		Available		42513

Previous								Next
Previous	510.6 KRA Tools and Techniques in Modal Logic	510.6 KRO Temporal logic and state systems	510.6 KRY Quantifiers: Logics, Models and Computation - 2 Vols. I:Surveys; II: Contributions	510.6 KRY Quantifiers: Logics, Models and Computation - 2 Vols. I:Surveys; II: Contributions	510.6 LAV Planning algorithms	510.6 LAW Conceptual Mathematics: a first introduction to categories	510.6 LER Degrees of unsolvability: local and global theory	Next

There are no comments on this title.

to post a comment.