|
BC 135 B6n 1938
|
Nove lezioni di logica simbolica / |
1 |
|
BC 135 B6p
|
Précis de logique mathématique. |
1 |
|
BC 135 B6p 1959
|
A precis of mathematical logic; |
1 |
|
BC 135 B7s
|
Studies in logic and probability. |
1 |
|
BC135 .C2 1958
|
Introduction to symbolic logic and its applications. |
1 |
|
BC135 .C28
|
Introduction to symbolic logic |
1 |
|
BC135 .C29
|
Argument and inference : an introduction to symbolic logic / |
1 |
|
BC135 .C37
|
Mathématiques et formalisme / |
1 |
|
BC135 .C5
|
Introduction to mathematical logic. |
1 |
|
BC135 .C55 1991
|
A study of logics / |
1 |
|
BC135 .C57 2011eb
|
The continuum companion to philosophical logic / |
1 |
|
BC135 .C6 1970
|
Truth, syntax and modality. Proceedings. |
1 |
|
BC135 .C68 2021
|
Louis Courturat : the history of modern symbolic logic and other French manuscripts / |
1 |
|
BC135 .C7 1965
|
Symbolic logic |
1 |
|
BC135 .D26 1965
|
The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions. |
1 |
|
BC135 .D374 2022
|
HANDS-ON JULIA PROGRAMMING an authoritative guide to the production-ready systems in julia. |
1 |
|
BC135 .D43
|
On the syllogism, and other logical writings; |
1 |
|
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 |