Patients with epilpesy pose many clinical challenges. Even experienced clinicians occasionally arrive at the point where diagnostic, work-up, treatment, or prognostic thinking becomes blocked. Epilepsy is the fifth volume in the "What Do I Do Now?" series and provides the clinician with the necessar[...]
The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to[...]