Jump to main content

yr 〜
yr

Search results 22

UNIVERSAL ALGEBRA IN COMBINATORY LOGIC (ETH Diss. ; Nr. 10005)

UNIVERSAL ALGEBRA IN COMBINATORY LOGIC (ETH Diss. ; Nr. 10005)
Microform博士論文
Amrhein, Beatrice.Eidgenössische Technische Hochschule Zürich1992.<LS-DISE-10005>
National Diet Library

Introduction to combinatory logic [by] J. R. Hindley, B. Lercher and J. P. Seldin. (London Mathematical Society. Lecture note series, 7)

Introduction to combinatory logic [by] J. R. Hindley, B. Lercher and J. P. Seldin. (London Mathematical Society. Lecture note series, 7)
Paper図書
University Press1972.<H35-48>
National Diet Library
  • Subject HeadingCombinatory logic.

Combinatory logic [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig. (Studies in logic and the foundations of mathematics)

Combinatory logic [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig. (Studies in logic and the foundations of mathematics)
Paper図書
North-Holland Pub. Co.1958-72.<164-C976c>
National Diet Library
  • Subject HeadingCombinatory logic. Logica Matematica.

Combinatory logic : pure, applied and typed : hardback

Combinatory logic : pure, applied and typed : hardback
Paper図書
Katalin BimbóCRC Press, Taylor & Francis Group : Chapman & Hall Bookc2012
Other Libraries in Japan
  • Subject HeadingCombinatory logic
  • Subject Heading (ID)Combinatory logic

Combinatory Logic and λ-Calculus for Classical Logic

Combinatory Logic and λ-Calculus for Classical Logic
Digital文書・図像類
馬場, 謙介, 亀山, 幸義, 廣川, 佐千男Department of Informatics, Kyushu University2000-08-18DOI Technical Report176
Available onlineOther Libraries in Japan

Universal algebra in combinatory logic [Microfiche ed.]

Universal algebra in combinatory logic [Microfiche ed.]
Microform図書
Beatrice Amrhein[Eidgenössische Technische Hochschule Zürich]1992
Other Libraries in Japan

To mock a mockingbird and other logic puzzles : including an amazing adventure in combinatory logic : pbk

To mock a mockingbird and other logic puzzles : including an amazing adventure in combinatory logic : pbk
Paper図書
Raymond SmullyanOxford University Press1990
Other Libraries in Japan

CHALLENGE PROBLEMS FOCUSING ON EQUALITY AND COMBINATORY LOGIC: EVALUATING AUTOMATED THEOREM-PROVING PROGRAMS. (CONF ; CONF-8805110-2)

CHALLENGE PROBLEMS FOCUSING ON EQUALITY AND COMBINATORY LOGIC: EVALUATING AUTOMATED THEOREM-PROVING PROGRAMS. (CONF ; CONF-8805110-2)
Paper図書
WOS, L.(et al.)1988.
Other Libraries in Japan

Combinatory logic v. 2

Combinatory logic v. 2
Digital図書
Haskell B. Curry, Rober Feys, with two sections by William CraigUT Back-in-Print Service1958
Other Libraries in Japan
  • Subject HeadingCombinatory logic
  • Subject Heading (ID)Combinatory logic

To mock a mockingbird and other logic puzzles : including an amazing adventure in combinatory logic 1st ed

To mock a mockingbird and other logic puzzles : including an amazing adventure in combinatory logic 1st ed
Paper図書
by Raymond SmullyanKnopf1985
Other Libraries in Japan

A bibliography of lambda-calculi, combinatory logics and related topics

A bibliography of lambda-calculi, combinatory logics and related topics
Paper図書
A. RezusMathematisch Centrum1982
Other Libraries in Japan
  • Subject HeadingCombinatory logic
  • Subject Heading (ID)Combinatory logic

To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism

To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism
Paper図書
edited by J.P. Seldin, J.R. HindleyAcademic Press1980
Other Libraries in Japan

Combinatory logic v. 2

Combinatory logic v. 2
Digital図書
Haskell B. Curry, Robert Feys ; with two sections by William CraigNorth-Holland Pub. Co.1958
Other Libraries in Japan
  • Subject HeadingCombinatory logic
  • Subject Heading (ID)Combinatory logic

Elements of combinatory logic

Elements of combinatory logic
Paper図書
Frederic B. FitchYale University Press1974
Other Libraries in Japan
  • Subject HeadingCombinatory logic
  • Subject Heading (ID)Combinatory logic

Introduction to combinatory logic

Introduction to combinatory logic
Paper図書
J.R. Hindley, B.Lercher, J. P. SeldinCambridge University Press1972
Other Libraries in Japan
  • Subject HeadingCombinatory logic
  • Subject Heading (ID)Combinatory logic

Introduction to combinatory logic

Introduction to combinatory logic
Paper図書
by Sören Stenlund[Uppsala universitetet, Filosofiska föreningen och Filosofiska institutionen]1971
Other Libraries in Japan
  • Subject HeadingCombinatory logic
  • Subject Heading (ID)Combinatory logic

Strong reduction in combinatory logic

Strong reduction in combinatory logic
Paper図書
Kenneth LoewenIn-house reproduction1966
Other Libraries in Japan

組合せ論理回路のハード的一致検査方式の提案

組合せ論理回路のハード的一致検査方式の提案
Digital文書・図像類
羽賀, 隆洋, 立木, 滋也愛知工業大学1991-03-31愛知工業大学研究報告. B, 専門関係論文集 = Bulletin of Aichi Institute of Technology. Part B26p.149-158
Other Libraries in Japan

Studies in logic and the foundations of mathematics

Studies in logic and the foundations of mathematics
Paper図書
North-Holland
Other Libraries in Japan
  • Related Material...r, August 1969 Combinatory logic Mathematical interpretation o...

Filosofiska studier utgivna av Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet

Filosofiska studier utgivna av Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet
Paper図書
Filosofiska Föreningen och Filosofiska Institutionen vid Uppsala Universitet
Other Libraries in Japan
  • Related Material...ntroduction to combinatory logic Temporal perspective : a logi...
RSS