龍谷大学図書館

ログイン

  • 目録検索 目録検索 ▼
  • 利用者サービス MyLibraryメニュー ▼
    • 利用状況の確認
    • ブックマーク
    • お気に入り検索
    • グループワークルーム予約
    • 新着アラート
    • ILL複写依頼
    • ILL貸借依頼
    • 図書購入希望
簡易検索
龍谷大学図書館が所蔵する図書や雑誌を検索できます。
 
龍谷大学図書館



1

Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987

edited by H.-D. Ebbinghaus ... [et al.]. -- North-Holland, 1989. -- (Studies in logic and the foundations of mathematics ; v. 129).
2

Constructivism in mathematics : an introduction

A.S. Troelstra, D. van Dalen ; v. 1, v. 1:pbk., v. 2. -- North-Holland, 1988. -- (Studies in logic and the foundations of mathematics ; v. 121, 123).
3

Theory of relations

R. Fraïssé ; [translated by P. Clote]. -- North-Holland, 1986. -- (Studies in logic and the foundations of mathematics ; v. 118).
4

Set theory : with an introduction to descriptive set theory

K. Kuratowski and A. Mostowski. -- 2d completely rev. ed. -- North-Holland Pub. Co., 1976. -- (Studies in logic and the foundations of mathematics ; v. 86).
5

Large infinitary languages : model theory

M.A. Dickmann ; : series, : North-holland, : (Elsevier). -- North-Holland Pub. Co., 1975. -- (Studies in logic and the foundations of mathematics ; v. 83).
6

Introduction to model theory and to the metamathematics of algebra

Abraham Robinson. -- 2nd ed. -- North-Holland, 1974. -- (Studies in logic and the foundations of mathematics).
7

Foundations of set theory

Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy, with the collaboration of Dirk van Dalen. -- 2nd rev. ed. -- North-Holland, 1973. -- (Studies in logic and the foundations of mathematics ; v. 67).
8

Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics

edited by Hugues Leblanc. -- North-Holland, 1973. -- (Studies in logic and the foundations of mathematics ; v. 68).
9

The theory of semisets

[by] Petr Vopěnka and Petr Hájek. -- North-Holland, 1972. -- (Studies in logic and the foundations of mathematics ; v. 70).
10

Jan Lukasiewicz selected works

edited by L. Borkowski ; [translated from the Polish by O. Wojtasiewicz]. -- North-Holland, 1970. -- (Studies in logic and the foundations of mathematics).
11

Abstract set theory

Abraham Adolf Fraenkel. -- 3. rev. ed. -- North-Holland, 1966. -- (Studies in logic and the foundations of mathematics).
12

Aristotle's modal syllogisms

Storrs McCall. -- North-Holland Pub. Co., 1963. -- (Studies in logic and the foundations of mathematics).
13

Truth and consequence in mediaeval logic

Ernest A. Moody. -- North-Holland Pub. Co., 1953. -- (Studies in logic and the foundations of mathematics).
14

An essay in modal logic

Georg H. von Wright. -- North-Holland Publishing Co., 1951. -- (Studies in logic and the foundations of mathematics).
15

The propositional logic of Boethius

Karl Dürr. -- North-Holland, 1951. -- (Studies in logic and the foundations of mathematics).
16

Ancient formal logic

I.M. Bocheński. -- North-Holland, 1951. -- (Studies in logic and the foundations of mathematics).
このページのTOPへ