| Call Number (LC) | Title | Results |
|---|---|---|
| BC135 .K18 | Logic : techniques of formal reasoning / | 1 |
| BC135 .K2 | Provability in logic. | 1 |
| BC135 .K37 | Languages with expressions of infinite length. | 1 |
| BC135 .K44 | Informal logic / | 1 |
| BC135 .K5 | An introduction to algebraic logic. | 1 |
| BC135 .K53 1989 | Understanding symbolic logic / | 1 |
| BC135 .K67 1992 | A structuralist theory of logic / | 1 |
| BC135 .K67 1992eb | A structuralist theory of logic / | 1 |
| BC135 .K67 2013 | Logic as universal science Russell's early logicism and its philosophical context / | 1 |
| BC135 .L18 | Logischeskie metody postroeni︠i︡a matematicheskikh modeleĭ : opyt formaliza︠t︡sii v sistemnom analize vosproizvodstva trudovykh resursov / | 1 |
| BC135 .L35 1953 | An introduction to symbolic logic / | 1 |
| BC135 .L35 1967 | An introduction to symbolic logic / | 1 |
| BC135 .L36 | Techniques of deductive inference. | 1 |
| BC135 .L37 2018 | Larisa Maksimova on implication, interpolation, and definability / | 1 |
| BC135 .L38 | Symbolic logic : an introductory textbook for non-mathematicians. | 1 |
| BC135 .L4 1960 | A survey of symbolic logic. | 1 |
| BC135 .L43 1959 | Symbolic logic, by Clarence Irving Lewis and Cooper Harold Langford. | 1 |
| BC135 .L44 1997 | Papers in philosophical logic / | 1 |
| BC135 .L44 1998eb | Papers in philosophical logic / | 1 |
| BC135 .L5 1954 | Mits, wits, and logic / | 1 |
This is the test environment. The production environment is at libcat.colorado.edu
