Matches in Library of Congress for { <http://lccn.loc.gov/91112633> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- 91112633 contributor B6434454.
- 91112633 created "c1990.".
- 91112633 date "1990".
- 91112633 date "c1990.".
- 91112633 dateCopyrighted "c1990.".
- 91112633 description "Includes bibliographical references (p. 245-252) and index.".
- 91112633 extent "xiii, 259 p. :".
- 91112633 identifier "3528047577".
- 91112633 issued "1990".
- 91112633 issued "c1990.".
- 91112633 language "ger".
- 91112633 publisher "Braunschweig : Vieweg,".
- 91112633 subject "005.13/1 20".
- 91112633 subject "Logic, Symbolic and mathematical.".
- 91112633 subject "QA9 .S527 1990".
- 91112633 title "Formalisieren und Beweisen : Logik für Informatiker / Dirk Siefkes.".
- 91112633 type "text".