Call Number (LC) | Title | Results |
---|---|---|
BC135 .L5 1960 | Mits, wits, and logic / | 1 |
BC135 .L58 | The Logic of decision and action / | 1 |
BC135 .L586 | The Logical enterprise / | 1 |
BC135 .L6 | Einführung in die operative Logik und Mathematik. | 1 |
BC135 .L62 1967 | Formale Logik. | 1 |
BC135 .L6213 1965 | Formal logic / | 1 |
BC135 .L63 1985eb | Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985 / | 1 |
BC135 .L64 | Logik und Grammatik. | 1 |
BC135 .L813 1963 | Elements of mathematical logic / | 1 |
BC135 .L813 1963a | Elements of mathematical logic / | 1 |
BC135 .L83 | Z zagadnień logiki i filozofii : pisma wybrane / | 1 |
BC135 .L9 | Notes on logic / | 1 |
BC135 .M18 | Polish logic, 1920-1939 / | 1 |
BC135 .M3155 2015 | Autonomy Platonism and the indispensability argument / | 1 |
BC135 .M325 1989 |
Systems of logic / Systems of Logic / |
3 |
BC135 .M35 | Understanding symbolic logic / | 1 |
BC135 .M37 | Elementary logic. | 1 |
BC135 .M6 | Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel. | 1 |
BC135 .M62 | Thirty years of foundational studies : lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964. | 1 |
BC135 .M89 1991 | Numerically exceptive logic : a reduction of the classical syllogism / | 1 |