Automata and computability / Dexter C. Kozen.

By:

Material type: Text

TextSeries: Undergraduate texts in computer sciencePublisher: New York : Springer, [1997]Copyright date: ℗♭1997Description: xiii, 400 pages : illustrations ; 24 cmContent type:

Media type:

Carrier type:

ISBN:

Subject(s):

DDC classification:

LOC classification:

Online resources:

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

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
E-Resources	Main Library E-Resources	511.3 K88 (Browse shelf(Opens below))	Available		E000244

Previous								Next
Previous	511.3/223 F235 Fuzzy sets and operations research /	511.3 G661 Logic as a tool : a guide to formal logical reasoning /	511.3 K86 Mathematical logic : on numbers, sets, structures, and symmetry /	511.3 K88 Automata and computability /	511.3 N682 Logic, mathematics, and computer science : modern foundations with practical applications /	511.3 O'999 A first course in mathematical logic and set theory /	511.3 Su958 Mathematical reasoning : writing and proof /	Next