Matches in Library of Congress for { <http://lccn.loc.gov/79020792> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 79020792 contributor B3507533.
- 79020792 contributor B3507534.
- 79020792 created "1980.".
- 79020792 date "1980".
- 79020792 date "1980.".
- 79020792 dateCopyrighted "1980.".
- 79020792 description "Includes bibliographies.".
- 79020792 extent "xx, 425 p. :".
- 79020792 identifier "0444853456".
- 79020792 isPartOf "Studies in logic and the foundations of mathematics ; v. 101".
- 79020792 issued "1980".
- 79020792 issued "1980.".
- 79020792 language "eng".
- 79020792 publisher "Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland,".
- 79020792 subject "511/.3".
- 79020792 subject "Intuitionistic mathematics Congresses.".
- 79020792 subject "Kleene, Stephen Cole, 1909-1994.".
- 79020792 subject "QA9.6 .K53 1978".
- 79020792 subject "Recursion theory Congresses.".
- 79020792 title "The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen.".
- 79020792 type "text".