Deducibility and Decidability

By R. R. Rockingham Gill

List Price: $150.00

Add to Cart

Recommend this title to a librarian using our Librarian Recommendation Form.

About the Book

This book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics.
You may also be interested in:

Proof, Logic and Formalization

Michael Detlefsen

The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The...

Published 01/09/1992 | 978-0-415-02335-1

more information about Proof, Logic and Formalization

cover

Epistemic Logic in the Later Middle Ages

Ivan Boh

Epistemic Logic studies statements containing verbs such as 'know' and 'wish'. It is one of the most exciting areas in medieval philosophy. Neglected almost entirely...

Published 10/28/1993 | 978-0-415-05726-4

more information about Epistemic Logic in the Later Middle Ages

Focusing on Truth

Lawrence E Johnson

This book offers an introductory account of the central theories of truth. A wide range of theories, from those of correspondence and coherence to Tarski's...

Published 08/27/1992 | 978-0-415-07252-6

more information about Focusing on Truth