Matches in Library of Congress for { <http://lccn.loc.gov/2005051968> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2005051968 contributor B10163566.
- 2005051968 created "2006.".
- 2005051968 date "2006".
- 2005051968 date "2006.".
- 2005051968 dateCopyrighted "2006.".
- 2005051968 description "Includes bibliographical references (p. [106]-109) and indexes.".
- 2005051968 extent "viii, 113 p. :".
- 2005051968 identifier "0486446557 (pbk.)".
- 2005051968 identifier "9780486446554".
- 2005051968 identifier 2005051968-d.html.
- 2005051968 isPartOf "Dover books on mathematics".
- 2005051968 issued "2006".
- 2005051968 issued "2006.".
- 2005051968 language "eng".
- 2005051968 publisher "Mineola, N.Y. : Dover Publications,".
- 2005051968 subject "162 22".
- 2005051968 subject "BC71 .P68 2006".
- 2005051968 subject "Gentzen, Gerhard.".
- 2005051968 subject "Logic, Symbolic and mathematical.".
- 2005051968 subject "Logic.".
- 2005051968 subject "Modality (Logic)".
- 2005051968 title "Natural deduction : a proof-theoretical study / Dag Prawitz.".
- 2005051968 type "text".