An Introduction to Metalogic
1142 Kč 1 148 Kč
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..
-
Salome
Oscar Wilde
-
Racial Realities and Post-Racial Dreams
Bailey, Julius
-
Civilization and Its Discontents
Sigmund Freud
-
Strange Case of Dr Jekyll and Mr Hyde
Stevenson Robert Louis
-
The Grasshopper
Suits, Bernard
-
The Woman of Colour
-
The Turkish Embassy Letters (1763)
Montagu, Lady Mary Wortley
-
Dubliners
James Joyce
-
The Life of Mr Richard Savage
Johnson Samuel
-
Frankenstein
Shelley Mary
-
When the Sleeper Wakes
H. G. Wells
-
London Labour and the London Poor
Mayhew, Henry
-
A Concise Guide to Technical Communic...
Graves, Heather; Graves, Roger
-
United States Immigration, 1800-1965
-
Critical Thinking
Hughes, Austin (Department of Electrical and Electronic Engineering, University of Leeds, UK); Drury, William
-
Githa Sowerby: Three Plays
Sowerby, Githa