First Order Predicate Logic with Null (FOPLN) Proof of Equivalence Laws

Dunne, SteveMu, ChunyanStoddart, Bill2024-09-062024-09-062021Dunne, S, Mu, C & Stoddart, B 2021, First Order Predicate Logic with Null (FOPLN) Proof of Equivalence Laws.ORCID: /0000-0002-2988-6939/work/167121554https://hdl.handle.net/2164/2417217146527engQA75 Electronic computers. Computer scienceQA75First Order Predicate Logic with Null (FOPLN) Proof of Equivalence LawsReport