Results 1 to 10 of about 77 (77)

Boundary Algebra: A Simpler Approach to Boolean Algebra and the Sentential Connectives [PDF]

open access: yes
Boundary algebra [BA] is a algebra of type , and a simplified notation for Spencer-Brown’s (1969) primary algebra. The syntax of the primary arithmetic [PA] consists of two atoms, () and the blank page, concatenation, and enclosure between ‘(‘ and ...
Philip Meguire
core  

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. [PDF]

open access: yesJ Autom Reason, 2018
Bancerek G   +6 more
europepmc   +1 more source

Hilbert's Early Metatheory Revisited. [PDF]

open access: yesErkenntnis
Giovannini EN, Schiemer G.
europepmc   +1 more source

Home - About - Disclaimer - Privacy