Tag:Alonzo_church

From Wikipedia, the free encyclopedia

Related Tags

Articles

• Entscheidungsproblem (1)
  logic math wikipedia cs algorithms reference decision computing λ turing entscheidungsproblem computation computability church david-hilbert definition german first-order-predicate-calculus boolean gottfried-leibniz alan_turing alan-turing ai ac alanturing alonzo-church architecture archintro alonzo_church arithmetic