登入選單
瀏覽
書名
ISBN
索書號
其他書名
權限設定
語言
部門
位置
文獻類型
課程範圍
適合
從
 至
是否有電子資源?
電子資源關鍵字
主題 : Logic, Symbolic and mathematical.總數: 11
數理邏輯及集合論
林汀
數理邏輯及集合論
作者林汀
分類號156 4431
出版社上海書局
出版年1969.
Logic and knowledge : eassys 1...
Russell, Bertrand 1872-1970., ...
Logic and knowledge : eassys 1...
作者Russell, Bertrand 1872-1970.Marsh, Robert Charles.
分類號511.3 RUS
出版社George Allen &
出版年;1956
Symbolic logic
Copi, Irving M.
Symbolic logic
作者Copi, Irving M.
分類號511.3 COP
出版社Collier Macmillan Publishing Co., Inc.
出版年c1979.
Introduction to mathematical l...
Mendelson, Elliott.
Introduction to mathematical l...
作者Mendelson, Elliott.
分類號511.3 MEN
出版社D. Van Nostrand
出版年c1964.
Essays on Wittgenstein's Tract...
Beard, Robert W.
Essays on Wittgenstein's Tract...
作者Beard, Robert W.
分類號160 ESS
出版社Hafner Press
出版年1973]
Principia mathematica to *56
Whitehead, Alfred North 1861-1...
Principia mathematica to *56
作者Whitehead, Alfred North 1861-1945.Russell, Bertrand 1872-1970.
分類號511.3 WHI
出版社University Press
出版年1962.
Introduction to mathematical p...
Russell, Bertrand 1872-1970.
Introduction to mathematical p...
作者Russell, Bertrand 1872-1970.
分類號510.1 RUS
出版社George Allen &Humanities Press
出版年;1919 (1975 printing)
Logic : techniques of formal r...
Kalish, Donald, Mar, Gary
Logic : techniques of formal r...
作者Kalish, DonaldMar, Gary
分類號160 KAL
出版社Harcourt Brace &
出版年;1980
Derivation and counterexample ...
Lambert, Karel., Fraassen, Bas...
Derivation and counterexample ...
作者Lambert, Karel.Fraassen, Bas C. van.
分類號160 LAM
出版社Dickenson Publishing
出版年1972.
Computability and logic
Boolos, George., Jeffrey, Rich...
Computability and logic
作者Boolos, George.Jeffrey, Richard C.
分類號511.3 BOO
出版社Cambridge University Press
出版年1980 (Reprinted 1982)
數理邏輯發展史 = The development of m...
Nidditch, P. H. (倪里崎), 劉福增 193...
數理邏輯發展史 = The development of m...
作者Nidditch, P. H. (倪里崎)劉福增 1936-
分類號156.09 8410
出版社水牛
出版年民58[1969]