Predicate logic for software engineering
- 1 January 1993
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 19 (9) , 856-862
- https://doi.org/10.1109/32.241769
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- A partial functions version of Church's simple theory of typesThe Journal of Symbolic Logic, 1990
- Introduction to Mathematical LogicPublished by Springer Nature ,1987