|
BC135 .D5 1965
|
Symbolic logic and language; a programmed text, |
1 |
|
BC135 .D67 1977
|
Lewis Carroll's Symbolic logic : part I, Elementary, 1896, fifth edition, part II, Advanced, never previously published ; edited, with annotations and an introd., by William Warren Bartley, III. |
1 |
|
BC135 .E83 1990
|
The concept of logical consequence / |
1 |
|
BC135 .F54
|
Symbolic logic. |
1 |
|
BC135 .F57 1994
|
Modern logic : a text in elementary symbolic logic / |
1 |
|
BC135 .F85 1964
|
The basic laws of arithmetic; exposition of the system. |
1 |
|
BC135.G495 1990eb
|
Deducibility and Decidability. |
1 |
|
BC135 .G59 1962
|
On formally undecidable propositions of Principia mathematica and related systems. |
1 |
|
BC135 .G84
|
Elementary symbolic logic |
1 |
|
BC135 .G84 1982
|
Elementary symbolic logic / |
1 |
|
BC135 .H19 1962
|
Algebraic logic. |
1 |
|
BC135 .H34
|
Introduction to the basic concepts and problems of modern logic |
1 |
|
BC135 .H5 1951
|
Structure, method, and meaning; essays in honor of Henry M. Sheffer, |
1 |
|
BC135 +H55 1965
|
Eine Termlogik mit Auswahloperator. |
1 |
|
BC135 .H6 1950
|
Principles of mathematical logic, |
1 |
|
BC135 .H6 1959
|
Grundzüge der theoretischen Logik |
1 |
|
BC135 .H6 1967
|
Grundzüge der theoretischen Logik |
1 |
|
BC135.H68 1997eb
|
Logic With Trees : an Introduction to Symbolic Logic. |
1 |
|
BC135.H6913 2004
|
Formal logic : a philosophical approach / |
1 |
|
BC135 .I61 1959
|
Constructivity in mathematics; proceedings. |
1 |