RecordNumber
46318
LC Class
QA
LC Number
9
LC CutterNumber
.H237
Author
Hass, Gerrit
Title
Konstruktive einfuhrung in die formale logik
Author Statement
von Gerrit Hass
Publication
Bibliographisches Institut Mannheim
Collation
268 p. : ill. ; 23 cm
Subject
Logic, Symbolic and mathematical
Index
Includes bibliographical references and index