Total Books: 1 - 3 /3
Institution-independent Model Theory
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. ...
Continue reading
Logica Universalis
The book signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic ...
Continue reading
Logica Universalis : Towards a General Theory of Logic
Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. ...
Continue reading
Total Books: 1 - 3 /3
