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