Matches in Library of Congress for { <http://lccn.loc.gov/2001020446> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2001020446 contributor B8921156.
- 2001020446 contributor B8921157.
- 2001020446 created "c2001.".
- 2001020446 date "2001".
- 2001020446 date "c2001.".
- 2001020446 dateCopyrighted "c2001.".
- 2001020446 description "Includes bibliographical references (p. [374]-391) and indexes.".
- 2001020446 extent "xviii, 409 p. :".
- 2001020446 identifier "0387951970 (alk. paper)".
- 2001020446 identifier 2001020446-d.html.
- 2001020446 identifier 2001020446-t.html.
- 2001020446 isPartOf "Monographs in computer science".
- 2001020446 issued "2001".
- 2001020446 issued "c2001.".
- 2001020446 language "eng".
- 2001020446 publisher "New York : Springer,".
- 2001020446 subject "511.3/22 21".
- 2001020446 subject "Computable functions.".
- 2001020446 subject "QA248 .C1945 2001".
- 2001020446 subject "Set theory.".
- 2001020446 title "Set theory for computing : from decision procedures to declarative programming with sets / Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwatz.".
- 2001020446 type "text".