Matches in Library of Congress for { <http://lccn.loc.gov/80027460%2F%2Fr84> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 80027460%2F%2Fr84 contributor B3757852.
- 80027460%2F%2Fr84 created "c1981.".
- 80027460%2F%2Fr84 date "1981".
- 80027460%2F%2Fr84 date "c1981.".
- 80027460%2F%2Fr84 dateCopyrighted "c1981.".
- 80027460%2F%2Fr84 description "Bibliography: p. 280-284.".
- 80027460%2F%2Fr84 extent "x, 287 p. ;".
- 80027460%2F%2Fr84 identifier "9027712026".
- 80027460%2F%2Fr84 isPartOf "Synthese library ; v. 148".
- 80027460%2F%2Fr84 issued "1981".
- 80027460%2F%2Fr84 issued "c1981.".
- 80027460%2F%2Fr84 language "eng".
- 80027460%2F%2Fr84 publisher "Dordrecht, Holland ; Boston : D. Reidel Pub. Co. ; Hingham, MA : distributed in the U.S.A. and Canada by Kluwer Boston,".
- 80027460%2F%2Fr84 subject "511/.2 19".
- 80027460%2F%2Fr84 subject "Heyting, A. (Arend), 1898-".
- 80027460%2F%2Fr84 subject "Intuitionistic mathematics.".
- 80027460%2F%2Fr84 subject "QA9.47 .G32".
- 80027460%2F%2Fr84 title "Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay.".
- 80027460%2F%2Fr84 type "text".