LOGIC -- DUMMETT, M. Elements of intuitionism. (1978). Obrds. w. dust-j. -- J. BRIDGE. Beginning model theory. 1977. Obrds. w. dust-j. -- I. NIINILUOTO & R. TUOMELA. Theoretical concepts and hypothetico-inductive inference. (1973). Ocl. w. dust-j. -- D.M. GABBAY & F. GUENTHNER, ed. Handbook of philosophical logic. Vol. II: Extensions of classical logic. (1984). Ocl. w. dust-j. -- E.W. BETH. Formal methods. An introd. to symbolic logic and to the study of effective operations in arithmetic and logic. (1962). Ocl. w. dust-j. -- And 3 o. (8).