Predicate variable

#	Item
31	PDF Document Add to Reading List Source URL: www.qedeq.org Language: English - Date: 2013-05-24 16:15:39 Propositional calculus Formal languages Logical syntax First-order logic Proposition Predicate variable Well-formed formula Function Lambda calculus Logic Mathematical logic Predicate logic
32	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2005-09-04 16:36:13 Predicate logic Computability theory Formal methods Models of computation Combinatory logic Free variables and bound variables Function Variable First-order logic Mathematics Mathematical logic Lambda calculus
33	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-01-30 14:49:57 Quantification Model theory Metalogic Branching quantifier First-order logic FO Skolem normal form Propositional variable Universal quantification Logic Mathematical logic Predicate logic
34	PDF Document Add to Reading List Source URL: ssdi.di.fct.unl.pt Language: English - Date: 2006-10-10 10:09:19 Functions and mappings Predicate logic Model theory Prolog Function Datalog Predicate variable FO Inference Logic Mathematics Mathematical logic