Preface

Bibliography of Emil L. Post

Introduction

The generalized gamma functions

Discussion of problem 433

Introduction to a general theory of elementary propositions

Generalized differentiation

Finite combinatory processes - Formulation I

Polyadic groups

The two-valued iterative systems of mathematical logic

Absolutely unsolvable problems and relatively undecidable propositions - account of an anticipation

Formal reductions of the general combinatorial decision problem

Recursively enumerable sets of positive integers and their decision problems

A variant of recursively unsolvable problem

Note on a conjecture of Skolem

Recursive unsolvability of a problem of Thue

(with S. C. Kleene) The upper semi-lattice of degrees of recursive unsolvability

Abstracts

Introduction to a general theory of elementary propositions

Determination of all closed systems of truth tables

On a simple class of deductive systems

Visual intuition in Lobachevsky space

Visual intuition in spherical and elliptic space: Einstein's finite universe

A non-Weierstrassian method of analytic prolongation

A new method for generalizing ex in the complex domain

A simple geometric proof of the equality of the Brochardt angles of a triangle

Theory of generalized differentiation

The mth derivative of a function of a function; calculus of mth derivatives

Polyadic groups (preliminary report)

Finite commbinatory processes. Formulation I

Recursive unsolvability of a problem of Thue

Degrees of recursive unsolvability (preliminary report)

(with Samuel Linial) Recursive unsolvability of the deducibility, Tarski's completeness, and independence of axioms problems of propositional calculus

Note on a relation recursion calculus

Solvability, definability, provability, history of an error

A necessary condition for definability for transfinite von Neumann-Godel set theory sets, with an application to the problem of the existence of a definable well-ordering of the continuum (preliminary report)

(with S. C. Kleene) The upper semi-lattice of degrees of recursive unsolvability

Permissions