在您的搜尋 主題建議
Showing 1 - 14 results of 14 for search 'Language, Proof and Logic', 查詢時間: 0.07s Refine Results
  1. 1
    Logic programming: operational semantics and proof theory
    由 Andrews, James H
    出版 1992
    主題: “...Programming language and semantics 1623...”
    Printed Book
  2. 2
    Proof analysis : a contribution to Hilbert's last problem /
    由 Negri, Sara, Von Plato, Jan
    出版 2011
    書本目錄: “...; 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 /
    主題: “...COMPUTERS / Programming Languages / General. bisacsh...”
    Cover image
  4. 4
    Handbook of mathematical induction : theory and applications /
    由 Gunderson, David S.
    出版 2011
    書本目錄: “... -- Sequences -- Sets -- Logic and language -- Graphs -- Recursion and algorithms -- Games and recreations...”
    Printed Book
  5. 5
    Handbook of mathematical induction : theory and applications /
    由 Gunderson, David S.
    出版 2011
    書本目錄: “... -- Sequences -- Sets -- Logic and language -- Graphs -- Recursion and algorithms -- Games and recreations...”
    Printed Book
  6. 6
    Formal logic /
    出版 2017
    主題: “...Logic, Symbolic and mathematical...”
    Printed Book
  7. 7
    Introduction to mathematical logic /
    由 Walicki, Michał
    出版 2012
    書本目錄: “...A history of logic -- Patterns of reasoning -- A language and its meaning -- A symbolic language...”
    Printed Book
  8. 8
    Introduction to mathematical logic /
    由 Walicki, Michał
    出版 2012
    書本目錄: “...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 /
    出版 1979
    主題: “...Logic Congresses....”
    Printed Book
  10. 10
    A course in mathematical logic for mathematicians /
    由 Manin, I︠U︡. I.
    出版 2010
    書本目錄: “...Provability: I. Introduction to formal languages ; II. Truth and deducibility ; III. The continuum...”
    Printed Book
  11. 11
    The Oxford handbook of Wittgenstein/
    出版 2014
    書本目錄: “... on mathematics / Michael Potter -- Wittgenstein on surveyability of proofs / Matthieu Marion -- From logical...”
    獲取全文
    Printed Book
  12. 12
    The mathematics of infinity : a guide to great ideas /
    由 Faticoni, Theodore G.
    出版 2012
    書本目錄: “... 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 /
    由 Deepak Khemani
    出版 2013
    書本目錄: “... 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
    由 Richard Elwes
    出版 2010
    書本目錄: “...; Differential Equations; Fourier Analysis. Logic: Basic Logic; The Science of Deduction; Set Theory; Hilbert...”
    Printed Book
檢索工具: 得到RSS訂閱 — 推薦此搜索