Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Now much revised since its first appearance in 1941, W. V. Quine’s Elementary Logic, despite its brevity, is notable for its scope and rigor. It provides a single strand of simple techniques for the central business of modern logic. Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers. Fully one third of this revised edition is new, and presents a nearly complete turnover in crucial techniques of testing and proving, some change of notation, and some updating of terminology. The study is intended primarily as a convenient encapsulation of minimum essentials, but concludes by giving brief glimpses of further matters.

Logic, Symbolic and mathematical.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic, Symbolic and mathematical --- Mathematics --- Philosophy

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Langage --- Philosophie --- Logic, symbolic and mathematical --- Language and languages

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Logic, Symbolic and mathematical --- 510.6 --- Logic, Symbolic and mathematical. --- 510.6 Mathematical logic --- Logique symbolique et mathématique --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Recursion theory - now a well-established branch of pure mathematics, having grown rapidly over the last 35 years - deals with the general (abstract) theory of those operations which we conceive as being `computable' by idealized machines. The theory grew out of, and is usually still regarded, as a branch of mathematical logic. This book is a collection of advanced research/survey papers by eminent research workers in the field, based on their lectures given at the Leeds Logic Colloquium 1979. As such it provides an up-to-date view of current ideas and developments in the field of recursion theory as a whole. The individual contributions fit together naturally so as to provide an overview of all the main areas of research in the field. It will therefore be an important and invaluable source for advanced researchers and research students in mathematics and computer science (particularly in Europe, USA and USSR).

Recursion theory --- Recursive functions --- Functions, Recursive --- Algorithms --- Arithmetic --- Logic, Symbolic and mathematical --- Number theory --- Decidability (Mathematical logic) --- Foundations