Matches in Library of Congress for { <http://lccn.loc.gov/85019942> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 85019942 contributor B4888726.
- 85019942 created "1986.".
- 85019942 date "1986".
- 85019942 date "1986.".
- 85019942 dateCopyrighted "1986.".
- 85019942 description "Bibliography: p. 293-295.".
- 85019942 extent "xv, 304 p. ;".
- 85019942 identifier "0120585359 (alk. paper)".
- 85019942 identifier "0120585367 (pbk. : alk. paper)".
- 85019942 isPartOf "Computer science and applied mathematics".
- 85019942 issued "1986".
- 85019942 issued "1986.".
- 85019942 language "eng".
- 85019942 publisher "Orlando : Academic Press,".
- 85019942 subject "511.3 19".
- 85019942 subject "Logic, Symbolic and mathematical.".
- 85019942 subject "QA9 .A638 1986".
- 85019942 subject "Type theory.".
- 85019942 title "An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews.".
- 85019942 type "text".