Matches in Library of Congress for { <http://lccn.loc.gov/2005019564> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2005019564 contributor B10127432.
- 2005019564 created "2005.".
- 2005019564 date "2005".
- 2005019564 date "2005.".
- 2005019564 dateCopyrighted "2005.".
- 2005019564 description "Basics -- Formal proof -- Disproof -- Proof of programs.".
- 2005019564 extent "xix, 243 p. :".
- 2005019564 identifier "0198530269 (alk. paper)".
- 2005019564 identifier "0198530277 (alk. paper)".
- 2005019564 identifier 2005019564-d.html.
- 2005019564 identifier 2005019564.html.
- 2005019564 isPartOf "Oxford texts in logic ; 2".
- 2005019564 issued "2005".
- 2005019564 issued "2005.".
- 2005019564 language "eng".
- 2005019564 publisher "Oxford ; New York Oxford University Press,".
- 2005019564 subject "160 22".
- 2005019564 subject "BC173 .B67 2005".
- 2005019564 subject "Evidence.".
- 2005019564 subject "Logic, Modern.".
- 2005019564 tableOfContents "Basics -- Formal proof -- Disproof -- Proof of programs.".
- 2005019564 title "Proof and disproof in formal logic : an introduction for programmers / Richard Bornat.".
- 2005019564 type "text".