Hein, James L. creator text xx New Delhi Jones and Bartlett Publishers. 2010 3rd ed. monographic und eng

print

xiv,1009p. ; PB : 23 cm By James L Hein Elementary Notions and Notations Facts about Functions Construction Techniques Equivalence, Order and Inductive proof Analysis Techniques Elementary Logic Predicate Logic Applied Logic Computational Logic Algebraic Structures and Techniques Regular Languages and Finite Automata Context-Free Languages and Pushdown Automata Turning Machines and Equivalent Models Computational Notions 511.3 HEIJ 9789380108391 210716 20230705105741.0