Matches in Library of Congress for { <http://lccn.loc.gov/62003731> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- 62003731 contributor B1505862.
- 62003731 created "[1962]".
- 62003731 date "1962".
- 62003731 date "[1962]".
- 62003731 dateCopyrighted "[1962]".
- 62003731 description "Includes bibliography.".
- 62003731 extent "170 p.".
- 62003731 isPartOf "Synthese library".
- 62003731 issued "1962".
- 62003731 issued "[1962]".
- 62003731 language "eng".
- 62003731 publisher "Dordrecht, D. Reidel Pub. Co.; New York, Gordon and Breach".
- 62003731 subject "164".
- 62003731 subject "BC135 .B45".
- 62003731 subject "Logic, Symbolic and mathematical.".
- 62003731 title "Formal methods; an introduction to symbolic logic and to the study of effective operations in arithmetic and logic.".
- 62003731 type "text".