Research Catalog

Prädikatenlogik ohne gebundene Variablen

Title
Prädikatenlogik ohne gebundene Variablen / Jürgen Bartnick.
Author
Bartnick, Jürgen
Publication
Frankfurt am Main : P. Lang, 1980.

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?
Book/textUse in library QA9.35 B32Off-site

Details

Description
vi, 84 p.; 22 cm.
Series Statement
Europäische Hochschulschriften. Bd. 61
Subject
  • Logic, Symbolic and mathematical
  • Predicate calculus
  • Combinatory logic
Note
  • Includes index.
Bibliography (note)
  • Bibliography: p.78-80.
ISBN
3820468102
OCLC
  • ocm22209003
  • SCSB-40547
Owning Institutions
Princeton University Library