Description
User Reviews for Principia Mathematica II FOR MAC 1
-
for Principia Mathematica II FOR MAC
Principia Mathematica II FOR MAC provides a solid foundation in first order predicate logic and Hilbert II. Useful for verifying formal correctness.