Matches in Library of Congress for { <http://lccn.loc.gov/74351366> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 74351366 contributor B2529041.
- 74351366 created "1970.".
- 74351366 date "1970".
- 74351366 date "1970.".
- 74351366 dateCopyrighted "1970.".
- 74351366 description "Includes bibliographical references.".
- 74351366 description "Issued with : Neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls / Hans Hermes und Heinrich Scholz. Hildesheim : Gerstenberg, 1970.".
- 74351366 extent "44 p. ;".
- 74351366 isPartOf "Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, n. F. ; Heft 4.".
- 74351366 issued "1970".
- 74351366 issued "1970.".
- 74351366 language "ger".
- 74351366 publisher "Hildesheim : Gerstenberg,".
- 74351366 subject "BC135 .H4 1970 Heft 4".
- 74351366 subject "Logic, Symbolic and mathematical.".
- 74351366 subject "Number theory.".
- 74351366 title "Die gegenwärtige Lage in der mathematischen Grundlagenforschung : neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie.".
- 74351366 type "text".