Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002972432/catalog> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- catalog contributor b4315583.
- catalog created "1967.".
- catalog date "1967".
- catalog date "1967.".
- catalog dateCopyrighted "1967.".
- catalog description "Bibliography: p. 69.".
- catalog extent "69 p. with illus.".
- catalog isPartOf ""Schriften der IIM, Serie A, Nr. 13"".
- catalog isPartOf "Bonn (Germany). Universität. Rheinisch-Westfälisches Institut für Instrumentelle Mathematik. Schriften. Series A ; Nr. 13.".
- catalog isPartOf "Forschungsberichte des Landes Nordrhein-Westfalen, Nr. 1740".
- catalog issued "1967".
- catalog issued "1967.".
- catalog language "ger".
- catalog publisher "Köln, Opladen, Westdeutscher Verlag,".
- catalog subject "164".
- catalog subject "Computer programming.".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "T7 .F65 Nr. 1740".
- catalog title "Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth. [Von] Christian Fenske.".
- catalog type "text".