Matches in Library of Congress for { <http://lccn.loc.gov/83231502> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 83231502 alternative "Mechanizing logic 1 & 2.".
- 83231502 alternative "Mechanizing logic 1 and 2.".
- 83231502 alternative "Mechanizing logic I, map logic extended formally to relational arguments.".
- 83231502 alternative "Mechanizing logic II, automated map logic method for relational arguments on paper and by computer.".
- 83231502 contributor B4571130.
- 83231502 contributor B4571131.
- 83231502 created "1983.".
- 83231502 date "1983".
- 83231502 date "1983.".
- 83231502 dateCopyrighted "1983.".
- 83231502 description "Includes bibliographical references.".
- 83231502 extent "25, 24 p. :".
- 83231502 identifier "0959857613 (pbk.)".
- 83231502 issued "1983".
- 83231502 issued "1983.".
- 83231502 language "eng".
- 83231502 publisher "Sydney : J. & J. Rybak,".
- 83231502 subject "160 19".
- 83231502 subject "BC71 .R92 1983".
- 83231502 subject "Logic.".
- 83231502 title "Mechanizing logic I, map logic extended formally to relational arguments & Mechanizing logic II, automated map logic method for relational arguments on paper and by computer / John Rybak & Janet Rybak.".
- 83231502 type "text".