|
BC122.H83 H44 1989
|
Isagoge in die phänomenologische Apophantik : eine Einführung in die phänomenologische Urteilslogik durch die Auslegung des Textes der Formalen und transzendentalen Logik von Edmund Husserl / |
1 |
|
BC122 .H97
|
Formal and transcendental logic. |
1 |
|
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 /
Logic, epistemology, and scientific theories -- from Peano to the Vienna Circle /
Aristotelian assertoric syllogistic : incorporating the Aristotelian assertoric syllogistic in the contemporary symbolic logic /
Symbolic logic |
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 |