Abstract: Formal systems propositional logic and calculus predicate logic and calculus theories set theory relations functions sequences case study: a telephone exchange case study: a mathematical theory algebraic specifications.
Publication Year: 1988
Publication Date: 1988-01-01
Language: en
Type: book
Indexed In: ['crossref']
Access and Citation
Cited By Count: 80
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot