|
BC122 .S38 2022
|
The bounds of transcendental logic / |
1 |
|
BC122 .S3813 1975
|
Logic and transcendence / |
1 |
|
BC126 .R43
|
Many-valued logic. |
1 |
|
BC128 .H85 1971
|
Metalogic: an introduction to the metatheory of standard first order logic. |
1 |
|
BC128 .M36 2011
|
Independence-friendly logic : a game-theoretic approach / |
1 |
|
BC128 .P55 1993
|
A philosophical companion to first-order logic / |
1 |
|
BC128 P73 2023
|
Fragments of first-order logic / |
1 |
|
BC129 .L34 2003eb
|
Free logic : selected essays / |
1 |
|
BC135
|
Autonomy Platonism and the indispensability argument /
Symbolic logic
Aristotelian assertoric syllogistic : incorporating the Aristotelian assertoric syllogistic in the contemporary symbolic logic /
Logic, epistemology, and scientific theories -- from Peano to the Vienna Circle / |
4 |
|
BC135 .A18 1954
|
Solvable cases of the decision problem. |
1 |
|
BC135 .A4 1962
|
Fundamentals of symbolic logic |
1 |
|
BC135 .B473 1997eb
|
Intermediate logic / |
1 |
|
BC135 .B49
|
The undecidability of the domino problem, |
1 |
|
BC135 .B495 1990
|
The logic book / |
1 |
|
BC135 .B495 2014
|
The logic book / |
1 |
|
BC135 .B4952 1990
|
Solutions to selected exercises in the logic book / |
1 |
|
BC135 .B5 1958
|
Axiomatic set theory. |
1 |
|
BC135 .B56 1962
|
Formal methods; an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. |
1 |
|
BC 135 B6n 1938
|
Nove lezioni di logica simbolica / |
1 |
|
BC 135 B6p
|
Précis de logique mathématique. |
1 |