Logic and Structure
ISBN9783540208792
FormatHäftad (Paperback / softback)
FörfattareDirk Van Dalen
Publiceringsår2012-11-13
FörlagSpringer London Ltd
Antal sidor263
SpråkEngelska

Häftad (Paperback / softback) • 2012-11-13

Logic and Structure

av Dirk Van Dalen

  • ISBN: 9783540208792
  • Format: Häftad (Paperback / softback)
  • Publiceringsår: 2012-11-13
  • Förlag: Springer London Ltd
  • Antal sidor: 263
  • Språk: Engelska

Köp denna bok ny

Ej tillgänglig

Ej tillgänglig

Ej tillgänglig

Ej tillgänglig

Bevaka denna bok

Få ett meddelande när denna bok säljes begagnad igen.

Om Logic and Structure

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.

Kurslitteratur som säljs på BegagnadKurslittretur.se är begagnad och därför kan vi inte garantera att eventuella digitala produkter eller inloggningar fortfarande är aktiva. När ni kontaktar en annonsör om att köpa en bok, fråga då om detta.

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.

Så här köper du böcker

1) Skicka köpesförslag

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.

2) Acceptera & betala

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.

3) Mottag boken & sälj vidare

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!

 Inga priser hittades på denna bok