Logic, Symbolic and mathematical.

Temporal logics in computer science : finite-state systems by: Lange, Martin; Goranko, Valentin; Demri, Stéphane P. (1967) (Language materials, printed)

Conditional and preferential logics : proof methodsand theorem proving by: Pozzato, Gian Luca (Language materials, printed)

How to read and do proofs : an introduction to mathematical thought processes by: Solow, Daniel (Language materials, printed)

Reasoning about uncertainty by: Halpern, Joseph Y. (Language materials, printed)

Analysis and logic by: Henson, C. Ward ... [et al.] (Language materials, printed)

Introductory real analysis by: Fomin, S. V.; Kolmogorov, A. N.; Silverman, Richard A. (Language materials, printed)

Lectures in logic and set theory by: Tourlakis, George J. (Language materials, printed)

Elements of the theory of computation by: Lewis, Harry R.; Papadimitriou, Christos H. (Language materials, printed)

Elements of the theory of computation by: Lewis, Harry R.; Papadimitriou, Christos H. (Language materials, printed)

Andrzej Mostowski and foundational studies by: Srebrny, Marian (1947-); Marek, Wiktor.; Mostowski, Andrzej.; Ehrenfeucht, Andrzej. (Electronic resources)