A Short Glossary of Metaphysics
A short article for the Encyclopedia of Artificial Intelligence: Second
A SHORT AND READABLE PROOF OF CUT ELIMINATION FOR
A Shallow Embedding of Pure Type Systems into First
A sequent calculus demonstration of Herbrand`s Theorem
A Separate Court for Children: Historical Antecedents of a
a semantic perspective - Institute for Logic, Language and
A Revised Concept of Safety for General Answer Set Programs
pdf format
pdf file
pdf file
PDF File
PDF - University of Kent
pdf - Consequently.org
pdf - at www.arxiv.org.
PDF (216 KB)
