Logic, Symbolic and mathematical.

[NT 60487] Overview

[NT 60478] Works:	13 [NT 60520] works in 13 [NT 60521] publications in 1 [NT 60522] languages

[NT 60480] Titles

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

Conditional and preferential logics : proof methodsand theorem proving [NT 59711] by: Pozzato, Gian Luca ([NT 1579] Language materials, printed)

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

Reasoning about uncertainty [NT 59711] by: Halpern, Joseph Y. ([NT 1579] Language materials, printed)

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

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

Lectures in logic and set theory [NT 59711] by: Tourlakis, George J. ([NT 1579] Language materials, printed)

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

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