Predicate logic

Aristotle's theory of predication / by Allan T. Bäckschema:ProductModel Discrete wiskunde 2 / E.M. van de Vrieschema:ProductModel Einführung in die Sprache der Logik / Hans Freudenthal ; übers. durch den Verfasserschema:ProductModel Equational proofs in tableaux and logic programming / Eric Andreas de Kogelschema:ProductModel First-order modal logic / Melvin Fitting and Richard L. Mendelsohnschema:ProductModel Formal logic / Paul Lorenzen ; transl. from the German by Frederick J. Crossonschema:ProductModel How things are : studies in predication and the history of philosophy and science / ed. by James Bogen and James E. McGuireschema:ProductModel Intuitionistic correspondence theory / door Pieter Hendrik Rodenburgschema:ProductModel Logica : samenvatting van de lessen uit de televisie-cursus "Logica" / H. van Praag ; regisseur: Bob Vetter ; cursus-coördinator: Johan Rijfkogelschema:ProductModel Logica en informatica 2 / J.S. Lodderschema:ProductModel Moderne logica / E.J. Lemmon ; vertaald [uit het Engels] door P. Brommerschema:ProductModel Molecules and models : investigations on the axiomatization of structure theory in chemistry / Jacob Joan Mulckhuyseschema:ProductModel Predicates and fibrations : from type theoretical to category theoretical presentation of constructive logic / Duško Pavlovićschema:ProductModel The logic of thinking / P.A.M. Seurenschema:ProductModel The logic of thinking / P.A.M. Seurenschema:ProductModel Types, tableaus, and Gödel's God / Melvin Fittingschema:ProductModel