Research Catalog

Logic and structure

Title
Logic and structure / Dirk van Dalen.
Author
Dalen, D. van (Dirk), 1932-
Publication
Berlin ; New York : Springer-Verlag, ©2004.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA9 .D16 2004Off-site

Details

Description
x, 263 pages; 24 cm.
Series Statement
Universitext
Uniform Title
Universitext
Subject
  • Logic, Symbolic and mathematical
  • 31.10 logic, set theory
  • Mathematische Logik
  • Wiskundige logica
Bibliography (note)
  • Includes bibliographical references (p. [257]-258) and index.
Contents
Introduction -- 1. Propositional logic -- 2. Predicate logic -- 3. Completeness and applications -- 4. Second order logic -- 5. Intuitionistic logic -- 6. Normalisation -- 7. Gèodel's theorem.
ISBN
  • 3540208798
  • 9783540208792
  • 3540578390
  • 9783540578390
LCCN
2004045235
OCLC
  • ocm54529334
  • 54529334
  • SCSB-1335237
Owning Institutions
Princeton University Library