Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Arts, Modern --- Logic, symbolic and mathematical --- Language and languages --- Philosophy --- Wittgenstein, Ludwig, --- -Language and languages --- -Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Foreign languages --- Languages --- Anthropology --- Communication --- Ethnology --- Information theory --- Meaning (Psychology) --- Philology --- Linguistics --- Modern arts --- Wittgenstein, Ludwig --- Logic, Symbolic and mathematical --- Arts, Modern - 20th century --- Language and languages - Philosophy --- Wittgenstein, Ludwig, - 1889-1951. - Tractatus logico-philosophicus

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Lexicology. Semantics --- Philosophy of language --- Semantics --- Grammar, Comparative and general --- Logic, Symbolic and mathematical --- Set theory --- Sémantique --- Grammaire comparée et générale --- Logique symbolique et mathématique --- Théorie des ensembles --- Mass nouns --- Noms massiques --- -Logic, Symbolic and mathematical --- 801.56 --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Mathematics --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Syllogism --- Comparative grammar --- Grammar --- Grammar, Philosophical --- Grammar, Universal --- Philosophical grammar --- Linguistics --- Philology --- Syntaxis. Semantiek --- Grammar, Comparative --- Logic, Symbolic and mathematical. --- Semantics. --- Set theory. --- Mass nouns. --- 801.56 Syntaxis. Semantiek --- Sémantique --- Grammaire comparée et générale --- Logique symbolique et mathématique --- Théorie des ensembles --- Nouns, Mass --- Mass terms --- Non-count nouns --- Quantifiable nouns --- Unbounded nouns --- Uncountable nouns --- Noun --- Number --- Logique mathématique --- Linguistique mathematique --- Linguistique --- Semantique

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Mathematical logic --- Programming languages (Electronic computers) --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical --- 681.3*D3 --- 681.3*F31 --- 681.3*F41 --- 681.3*I2 --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Programming languages --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Artificial intelligence. AI --- Logic, Symbolic and mathematical. --- Programming languages (Electronic computers). --- 681.3*I2 Artificial intelligence. AI --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*D3 Programming languages --- Logic programming --- Specification --- proof --- Learning

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer programming --- Logic, Symbolic and mathematical. --- 681.3*I23 --- Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- Logic, symbolic and mathematical. --- $ Computer programming --- Programming (Electronic digital computers) --- 519.682 --- Programming languages. Metalanguages --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 519.682 Programming languages. Metalanguages --- Logic, Symbolic and mathematical --- 681.3 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computerwetenschap --- 510.6 --- 681.3*F3 --- 681.3*F4 --- 681.3*I24 --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- Logics and meanings of programs (Theory of computation) --- 510.6 Mathematical logic --- Programming --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Computer programming. --- Programmation des ordinateurs --- Logique symbolique et mathématique --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / / --- Logic, symbolic and mathematical --- Informatique --- Computer science --- Logique mathématique