岐阜大学図書館蔵書検索（OPAC）

同じキーワードで他のサイトを検索できます。

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

ISBN / ISSN / 書誌ID / 図書ID：

出版年：

主題：

請求記号：

所在：

言語：

選択:

検索結果: 2 件

図書

1. Combinatory logic (v. 1 ; v. 2)

Haskell B. Curry, Robert Feys ; with two sections by William Craig

出版情報:	Amsterdam : North-Holland Pub. Co., 1958-1972
シリーズ名:	Studies in logic and the foundations of mathematics
子書誌情報:	loading…
所蔵情報:	図書館

図書

2. Outlines of a formalist philosophy of mathematics

[by] Haskell B. Curry

出版情報:	Amsterdam : North-Holland Pub. Co., c1951
シリーズ名:	Studies in logic and the foundations of mathematics
子書誌情報:	loading…
所蔵情報:	図書館