Revision history for entry Tin, Erkan; Akman, Varol (1995). "Book review -- Anil Nerode and Richard A. shore, logic for applications" [TINBR]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-08-27T20:30:18update
2010-09-02T14:18:33updateSystem / admin update -