SØG - mellem flere end 8 millioner bøger:

Søg på: Titel, forfatter, forlag - gerne i kombination.
Eller blot på isbn, hvis du kender dette.

Viser: Logic and Structure

Logic and Structure, 5. udgave

Logic and Structure

Dirk van Dalen
(2012)
Sprog: Engelsk
Springer London, Limited
544,00 kr.
ikke på lager, Bestil nu og få den leveret
om ca. 10 hverdage
  • Klik for at bedømme:
  • 0.0/6 (0 bedømmelser)

Detaljer Om Varen

  • 5. Udgave
  • Paperback: 276 sider
  • Udgiver: Springer London, Limited (November 2012)
  • ISBN: 9781447145578

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 G#65533;del'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-L#65533;wenheim, 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 G#65533;del translation, the disjunction and existence property are also included.

The last chapter on G#65533;del'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.

De oplyste priser er inkl. moms
Trustpilot = Fremragende

senest sete

Polyteknisk Boghandel

har gennem mere end 50 år været studieboghandlen på DTU og en af Danmarks førende specialister i faglitteratur.

 

Vi lagerfører et bredt udvalg af bøger, ikke bare inden for videnskab og teknik, men også f.eks. ledelse, IT og meget andet.

Læs mere her