Publisher
Springer Fachmedien Wiesbaden
Reference70 articles.
1. Andréka, H., I. Németi, und J. van Benthem. 1998. Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic 27:217–274.
2. Aristoteles. 1967. Texte zur Logik. Reinbek: Rowohlt.
3. Baader, F., D. Calvanese, D. L. McGuiness, D. Nardi, und P. F. Patel-Schneider. 2003. The Description Logic Handbook: Theory, Implementation, Applications. Cambridge: Cambridge University Press.
4. Barcan, R. C. 1946. A functional calculus of first order based on strict implication. Journal of Symbolic Logic 11(1): 1–16.
5. Barwise, J. 1977. An introduction to first-order logic. In Handbook of Mathematical Logic, Hrsg. J. Barwise, 5–46. Amsterdam: North-Holland.