Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science) (English Edition) eBook : Straubing, Howard: Amazon.de: Kindle-Shop
Course Description Introduces formal logic and its connections to Computer Science. Students learn to translate statements about the behavior of computer. - ppt download
Examples of Logic: 4 Main Types of Reasoning | YourDictionary
PDF) Towards the effective use of formal logic in the teaching of discrete math | Camilo Rocha - Academia.edu