Logic, Symbolic and mathematical.

Temporal logics in computer science : finite-state systems by: Lange, Martin; Goranko, Valentin; Demri, Stéphane P. (1967) (書目-語言資料,印刷品)

Conditional and preferential logics : proof methodsand theorem proving by: Pozzato, Gian Luca (書目-語言資料,印刷品)

How to read and do proofs : an introduction to mathematical thought processes by: Solow, Daniel (書目-語言資料,印刷品)

Reasoning about uncertainty by: Halpern, Joseph Y. (書目-語言資料,印刷品)

Analysis and logic by: Henson, C. Ward ... [et al.] (書目-語言資料,印刷品)

Introductory real analysis by: Fomin, S. V.; Kolmogorov, A. N.; Silverman, Richard A. (書目-語言資料,印刷品)

Lectures in logic and set theory by: Tourlakis, George J. (書目-語言資料,印刷品)

Elements of the theory of computation by: Lewis, Harry R.; Papadimitriou, Christos H. (書目-語言資料,印刷品)

Elements of the theory of computation by: Lewis, Harry R.; Papadimitriou, Christos H. (書目-語言資料,印刷品)

Andrzej Mostowski and foundational studies by: Srebrny, Marian (1947-); Marek, Wiktor.; Mostowski, Andrzej.; Ehrenfeucht, Andrzej. (書目-電子資源)