Matches in Library of Congress for { <http://lccn.loc.gov/2002030034> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2002030034 contributor B9223640.
- 2002030034 created "c2002.".
- 2002030034 date "2002".
- 2002030034 date "c2002.".
- 2002030034 dateCopyrighted "c2002.".
- 2002030034 description "Includes bibliographical references (p. 271-282) and index.".
- 2002030034 extent "xlix, 287 p. ;".
- 2002030034 identifier "1402007450 (alk. paper)".
- 2002030034 identifier 2002030034-t.html.
- 2002030034 identifier 2002030034-d.html.
- 2002030034 isPartOf "Applied logic series ; v. 26".
- 2002030034 issued "2002".
- 2002030034 issued "c2002.".
- 2002030034 language "eng".
- 2002030034 publisher "Dordrecht ; Boston : Kluwer Academic Publishers,".
- 2002030034 subject "511.3 21".
- 2002030034 subject "Logic, Symbolic and mathematical.".
- 2002030034 subject "QA9 .P88 2002".
- 2002030034 title "The semantics and proof theory of the logic of bunched implications / by David J. Pym.".
- 2002030034 type "text".