Search Results - "Emil Post"

Logic from Russell to Church

Table of Contents: “…/ (Keith Simmons) -- Emil Post / (Alasdair Urquhart) -- Gentzen's Logic …”
Full Text (via ScienceDirect)

Computability : Turing, Gödel, Church, and beyond /

Full Text (via ProQuest)

Computability : Turing, Gödel, Church, and beyond /

Full Text (via ProQuest)

The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma / by Turing, Alan, 1912-1954

Table of Contents: “…critiques / Alan Turing, Emil Post and Donald W. Davies -- Systems of logic …”
Full Text (via EBSCO)

Computability Turing, Gödel, Church, and beyond /

Full Text (via MIT Press)

Computability Turing, Gödel, Church, and beyond /

Full Text (via ProQuest)

A tour through mathematical logic / by Wolf, Robert S.

Table of Contents: “…Introduction -- Short Bio: Emil Post -- 3.2 Primitive recursive functions -- 3.3 …”
Full Text (via ProQuest)