This is a preview. Log in through your library . Journal Information The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued ...
This is a preview. Log in through your library . Journal Information Synthese spans the topics of Epistemology, Methodology and Philosophy of Science. Coverage includes the theory of knowledge; ...
Anyone know of a predicate logic implimentation in c++? I'm looking for something fairly simple and lean, that has decent syntax for interacting with the database from within c++ code.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results