Matches in Library of Congress for { <http://lccn.loc.gov/99169481> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 99169481 alternative "How to construct a proof".
- 99169481 alternative "Intuitionistic set theory".
- 99169481 contributor B8726060.
- 99169481 created "c1998.".
- 99169481 date "1998".
- 99169481 date "c1998.".
- 99169481 dateCopyrighted "c1998.".
- 99169481 description "Includes bibliographical references and index.".
- 99169481 extent "2 v :".
- 99169481 identifier "3860646168 (pt. 1)".
- 99169481 identifier "3860646176 (pt. 2)".
- 99169481 isPartOf "Forschungsergebnisse zur Informatik ; Bd. 33".
- 99169481 issued "1998".
- 99169481 issued "c1998.".
- 99169481 language "eng".
- 99169481 publisher "Hamburg : Verlag Dr. Kovač,".
- 99169481 subject "511.3/22 21".
- 99169481 subject "Proof theory.".
- 99169481 subject "QA248 .K748 1998".
- 99169481 subject "Set theory.".
- 99169481 title "How to construct a proof".
- 99169481 title "Intuitionistic set theory".
- 99169481 title "Intuitionistic set theory, or, How to construct a proof / Conrad Kuck.".
- 99169481 type "text".