Find link
language:
jump to random article
Find link is a tool written by Edward Betts.
searching for Branden Fitelson 1 found (13 total)
alternate case: branden Fitelson
List of Hilbert systems
(3,866 words)
[view diff]
exact match in snippet
view article
find links to article
2001] "New Elegant Axiomatizations of Some Sentential Logics" by Branden Fitelson (Computer analysis by Argonne has revealed this to be the shortest