大妻女子大学の資料を検索します。
他大学の資料(図書・雑誌)を検索します。
学術雑誌記事や論文を検索します。
IRDBから日本の学術機関リポジトリを検索します。
国立国会図書館の資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Logic Symbolic and mathematical)
該当件数:6件
Mass terms and model theoretic semantics / Harry C. Bunt
1ed.. - Cambridge [Cambridgeshire] : Cambridge Univ. Press , 1985. - (Cambridge studies in linguistics ; 42)
図書
From signs to propositions : the concept of form in eighteenth-century semantic theory / Stephen K. Land
1ed.. - London : Longman , c1974. - (Longman linguistics library ; no.16)
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / edited by Hugues Leblanc
1ed.. - Amsterdam : North-Holland , 1973. - (Studies in logic and the foundations of mathematics ; vol.68)
Logic, semantics and metamathematics papers from 1923 to 1938 / Alfred Tarski ; translated by J. H. Woodger
1ed.. - London : Oxford Univ. Press , 1956
New methods in symbolic logic / Gerald B. Standley
1ed.. - Boston : Houghton , c1971
Symbolic logic : classical and advanced systems / Harry J. Gensler
1ed.. - Englewood Cliffs, N.J. : Prentice-Hall , c1990