旭川医科大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Logic Symbolic and mathematical)
該当件数:6件
Logic in elementary mathematics / [by] Robert M. Exner [and] Myron F. Rosskopf
New York : McGraw-Hill , 1959
図書
Tense and tense logic / by John E. Clifford
The Hague : Mouton , 1975. - (Janua linguarum ; Series minor, 215)
Proofs and refutations : the logic of mathematical discovery / Imre Lakatos ; edited by John Worrall and Elie Zahar
: hard. - Cambridge : Cambridge University Press , 1976
Tractatus logico-philosophicus : the German text of Ludwig Wittgenstein's Logisch-philosophische Abhandlung / with a new edition of the translation by D.F. Pears & B.F. McGuinness ; and with the introd. by Bertrand Russell
2nd ed.. - London : Routledge and Kegan Paul , 1971, c1961. - (International library of philosophy and scientific method / editor, Ted Honderich)
Selections from the Third Groningen Round Table / edited by Frank Heny, Helmut S. Schnelle
New York : Academic Press , c1979. - (Syntax and semantics ; v. 10)
Gottlob Freges Briefwechsel : mit D. Hilbert, E. Husserl, B. Russell, sowie ausgewählte Einzelbriefe Freges / mit Einleitungen, Anmerkungen und Register hrsg. von Gottfried Gabriel, Friedrich Kambartel, Christian Thiel
Hamburg : F. Meiner , c1980. - (Philosophische Bibliothek ; Bd. 321)