Logic : a foundation for computer science

V. Sperschneider & G. Antoniou.

Wokingham, England : Addison-Wesley, ©1991.

Mathematical logic

H.-D. Ebbinghaus, J. Flum, W. Thomas.

New York : Springer-Verlag, ©1984.

Introduction to logic

Dennis J. Packard, James E. Faulconer.

New York : D. Van Nostrand, ©1980.

Deductive logic

Hugues Leblanc and William A. Wisdom.

Boston : Allyn and Bacon, ©1972.

Understanding symbolic logic

Gerald J. Massey.

New York : Harper & Row, ©1970.

Logique moderne

Jean-Blaise Grize.

[Paris] : Mouton : Gauthier-Villars, ©1969-

First-order logic

Raymond M. Smullyan.

New York : Springer-Verlag, 1968.

Logical systems containing only a finite number of symbols

par Leon Henkin.

Montréal : Presses de l'Université de Montréal, 1967.

Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats

Daniel Ponasse.

Paris : O.C.D.L., ©1967.

Formal logic

Paul Lorenzen ; translated from the German by Frederick J. Crosson.

Dordrecht : Reidel, 1965.

Elementary logic

Benson Mates.

New York : Oxford University Press, 1965.

Logic : techniques of formal reasoning

Donald Kalish, Richard Montague.

New York : Harcourt, Brace & World, ©1964.

Introduction à la logique mathématique

P. S. Novikov ; traduit par Ch. Sarthou.

Paris : Dunod, 1964.

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic

Evert W. Beth.

Dordrecht, Holland : D. Reidel, ©1962.

Formale Logik.

2., verbesserte / Aufl.

Berlin : de Gruyter, 1962.

Symbolic logic

Irving M. Copi.

New York : Macmillan, ©1954.

The elements of mathematical logic

Paul C. Rosenbloom.

1st ed.

New York : Dover, 1950.

The technique of theory construction

by J. H. Woodger.

Chicago : University of Chicago Press, 1939.