Browsing "PSNZ Collections" by Subject Logic, Symbolic and mathematical.
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
1991 | A resolution principle for a logic with restricted quantifiers | Bürckert, H. J. (Hans-Jürgen) |