An Introduction to Metalogic
1984 Kč
Expedice za 2 až 3 dny
Sleva až 70% u třetiny knih
Offers an accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic, and ends with detailed outlines of the proofs of the incompleteness, undecidability and indefinability theorems.
| Autor: | Yaqub, Aladdin M. |
| Nakladatel: | Broadview Press Ltd |
| ISBN: | 9781554811717 |
| Rok vydání: | 2014 |
| Jazyk : | Angličtina |
| Vazba: | Paperback |
| Počet stran: | 310 |
Mohlo by se vám také líbit..
-
Critical Thinking
Hughes, Austin (Department of Electrical and Electronic Engineering, University of Leeds, UK); Drury, William
-
Beyond the Binary
Dea, Shannon
-
Racial Realities and Post-Racial Dreams
Bailey, Julius
-
Bioethics
Gary Jones
-
Civilization and Its Discontents
Sigmund Freud
-
Ancient Philosophy
Stumpf, Andrew
-
Salome
Oscar Wilde
-
The Woman of Colour
-
Beowulf (ca. 1000)
Anonymous
-
Samson Agonistes and Other Poems
John Milton
-
The Female American (1767)
Winkfield, Unca Eliza
-
The Victim of Prejudice
Hays-Thomas, Rosemary (University of West Florida)
-
The Sign of Four
Arthur Conan Doyle
-
The Turkish Embassy Letters (1763)
Montagu, Lady Mary Wortley
-
London Labour and the London Poor
Mayhew, Henry
-
United States Immigration, 1800-1965