查詢 text:First-order logic. ,共 9 筆
查詢再細分
-
- 語言
- 英語(9)
-
- 主題
- MATHEMATICS(3)
- Algebra.(1)
- AlgebraIntermediate.(1)
- COMPUTERS(1)
- Computer Engineering.(1)
- Crosses(1)
- CultHistory(1)
- Design and construction.(1)
- Epistemology.(1)
- First-order logic.(1)
-
- 館別
- 總圖(4)
-
145 0 0 0 0
Henkin-Keisler models
- 作者: Weaver, George,
- 出版: Dordrecht ;Boston : Kluwer Academic ©1997.
- 資料類型: 電子書
-
106 0 0 0 0
Logic and philosophy :a modern introduction
- 作者: Kahane, Howard,
- 出版: Belmont, Calif. : Wadsworth Pub. Co. c1982.
- 資料類型: 圖書
-
7 0 0 0 0
Charles S. Peirce's philosophy of signs :essays in comparative semiotics
- 作者: Deledalle, Gérard.
- 出版: Bloomington : Indiana University Press ©2000.
- 資料類型: 電子書
-
5 0 0 0 0
Theory of relations
- 作者: Fraïssé, Roland.
- 出版: Amsterdam ;New York : Elsevier 2000.
- 資料類型: 電子書
-
7 0 0 0 0
Demystifying chipmaking
- 作者: Yanda, Richard F.
- 出版: Oxford : Elsevier/Newnes ©2005.
- 資料類型: 電子書
-
105 0 0 0 0
Backward glances :contemporary Chinese cultures and the female homoerotic imaginary
- 作者: Martin, Fran,
- 出版: Durham, NC : Duke University Press 2010.
- 資料類型: 圖書
-
106 0 0 0 0
Post-modernism and the social sciences :insights, inroads, and intrusions
- 作者: Rosenau, Pauline Marie,
- 出版: Princeton, N.J. : Princeton University Press c1992.
- 資料類型: 圖書
-
13 0 0 0 0
Algebra demystified
- 作者: Huettenmueller, Rhonda.
- 出版: New York : McGraw-Hill ©2003.
- 資料類型: 電子書
-
6 0 0 0 0
Moving crucifixes in modern Spain
- 作者: Christian, William A.,
- 出版: Princeton, N.J. : Princeton University Press c1992.
- 資料類型: 圖書