Suggested Topics within your search.
Showing 1 - 14 results of 14 for search 'Language, Proof and Logic', query time: 0.05s Refine Results
  1. 1
    Logic programming: operational semantics and proof theory
    by Andrews, James H
    Published 1992
    Subjects: “...Programming language and semantics 1623...”
    Printed Book
  2. 2
    Proof analysis : a contribution to Hilbert's last problem /
    by Negri, Sara, Von Plato, Jan
    Published 2011
    Table of Contents: “...; Part IV. Proof Systems for Nonclassical Logics: 11. Modal logic; 12. Quantified modal logic...”
    Cover image
    Printed Book
  3. 3
    Type theory and formal proof : an introduction /
    Subjects: “...COMPUTERS / Programming Languages / General. bisacsh...”
    Cover image
  4. 4
    Handbook of mathematical induction : theory and applications /
    by Gunderson, David S.
    Published 2011
    Table of Contents: “... -- Sequences -- Sets -- Logic and language -- Graphs -- Recursion and algorithms -- Games and recreations...”
    Printed Book
  5. 5
    Handbook of mathematical induction : theory and applications /
    by Gunderson, David S.
    Published 2011
    Table of Contents: “... -- Sequences -- Sets -- Logic and language -- Graphs -- Recursion and algorithms -- Games and recreations...”
    Printed Book
  6. 6
    Formal logic /
    Published 2017
    Subjects: “...Logic, Symbolic and mathematical...”
    Printed Book
  7. 7
    Introduction to mathematical logic /
    by Walicki, Michał
    Published 2012
    Table of Contents: “...A history of logic -- Patterns of reasoning -- A language and its meaning -- A symbolic language...”
    Printed Book
  8. 8
    Introduction to mathematical logic /
    by Walicki, Michał
    Published 2012
    Table of Contents: “...A history of logic -- Patterns of reasoning -- A language and its meaning -- A symbolic language...”
    Printed Book
  9. 9
    Essays on mathematical and philosophical logic : proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29 July 6, 1976 /
    Published 1979
    Subjects: “...Logic Congresses....”
    Printed Book
  10. 10
    A course in mathematical logic for mathematicians /
    by Manin, I︠U︡. I.
    Published 2010
    Table of Contents: “...Provability: I. Introduction to formal languages ; II. Truth and deducibility ; III. The continuum...”
    Printed Book
  11. 11
    The Oxford handbook of Wittgenstein/
    Published 2014
    Table of Contents: “... on mathematics / Michael Potter -- Wittgenstein on surveyability of proofs / Matthieu Marion -- From logical...”
    Get full text
    Printed Book
  12. 12
    The mathematics of infinity : a guide to great ideas /
    by Faticoni, Theodore G.
    Published 2012
    Table of Contents: “... Fun With Language and Logic 22 2. Sets 29 2.1 Elements and Predicates 30 2.2 Cartesian Products 45 2.3...”
    Publisher description
    Table of contents only
    Contributor biographical information
    Printed Book
  13. 13
    First course in artificial intelligence /
    by Deepak Khemani
    Published 2013
    Table of Contents: “... 10 Advanced Planning Methods Chapter 11 Knowledge Based Reasoning Chapter 12 Logic and Inferences...”
    Printed Book
  14. 14
    Maths 1001: Absolutely Everything That Matters in Mathematics
    by Richard Elwes
    Published 2010
    Table of Contents: “...; Differential Equations; Fourier Analysis. Logic: Basic Logic; The Science of Deduction; Set Theory; Hilbert...”
    Printed Book
Search Tools: Get RSS Feed — Email this Search