ISBN | 9783540208792 |
Format | Häftad (Paperback / softback) |
Författare | Dirk Van Dalen |
Publiceringsår | 2012-11-13 |
Förlag | Springer London Ltd |
Antal sidor | 263 |
Språk | Engelska |
Häftad (Paperback / softback) • 2012-11-13
Ej tillgänglig
Ej tillgänglig
Ej tillgänglig
Ej tillgänglig
Få ett meddelande när denna bok säljes begagnad igen.
Boken Logic and Structure släpptes år 2012 och är skriven av Dirk Van Dalen.
Den består av 263 sidor och är skriven på engelska. Boken är utgiven av förlaget Springer London Ltd.
Vi kunde inte hitta något pris på vad den kostar ny.Dirk van Dalen's popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Goedel's famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen's natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Loewenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Goedel translation, the disjunction and existence property are also included. The last chapter on Goedel's first incompleteness theorem is self-contained and provides a systematic exposition of the necessary recursion theory. This new edition has been properly revised and contains a new section on ultra-products.
Nu när du vet att du vill köpa denna bok begagnad, och den finns tillgänglig så trycker du på den gröna knappen under annonserna för att komma i kontakt med säljarna.
Säljaren skickar en köpesförfrågan till dig som du enkelt accepterar. Säljaren får din adress för att skicka boken och du får instruktioner om hur du ska Swisha.
När du är färdig med din kurs så är nästa rimliga steg att du säljer boken till nästa års kull.
Det är helt gratis att sälja en bok på BegagnadKurslitteratur.se!