Results 151 to 160 of about 391,075 (200)
Some of the next articles are maybe not open access.
Logic with elements of mathematical logic
2023In the textbook, traditional logic is presented from the point of view of mathematical logic. Mathematization begins with the study of the topic "Concept", continues with the topic "Judgment" and reaches its greatest effectiveness in the study of deductive reasoning.
openaire +1 more source
2007
This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem ...
openaire +1 more source
This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem ...
openaire +1 more source
Nature, 1973
What is Mathematical Logic? By J. N. Crossley, C. J. Ash, C. J. Brickhill, J. C. Stillwell and N. H. Williams. Pp. ix + 82. (Oxford University: London and New York, November 1972). £1.40 cloth; 70p paper.
openaire +1 more source
What is Mathematical Logic? By J. N. Crossley, C. J. Ash, C. J. Brickhill, J. C. Stillwell and N. H. Williams. Pp. ix + 82. (Oxford University: London and New York, November 1972). £1.40 cloth; 70p paper.
openaire +1 more source
2018
It is Frege, not Boole, who is the father of modern logic. What exactly is modern about modern logic? Why did Frege develop it? The answers given here are these. Modern logic is both comprehensive and fully formal. The comprehensiveness in question is the sufficiency for the purposes of mathematics.
openaire +1 more source
It is Frege, not Boole, who is the father of modern logic. What exactly is modern about modern logic? Why did Frege develop it? The answers given here are these. Modern logic is both comprehensive and fully formal. The comprehensiveness in question is the sufficiency for the purposes of mathematics.
openaire +1 more source
The Logic of Mathematics and Mathematical Logic
Danish Yearbook of Philosophy, 1970openaire +1 more source
1995
There are two possible strategies for investigating questions on logic and mathematics. First, one can adopt the pattern recommended by the phenomenologists, which consists in looking for the actual essences of logic and mathematics in order to relate both fields.
openaire +1 more source
There are two possible strategies for investigating questions on logic and mathematics. First, one can adopt the pattern recommended by the phenomenologists, which consists in looking for the actual essences of logic and mathematics in order to relate both fields.
openaire +1 more source
Logic-in-memory based on an atomically thin semiconductor
Nature, 2020Guilherme Migliato Marega +2 more
exaly
Gallium nitride-based complementary logic integrated circuits
Nature Electronics, 2021Zheyang Zheng, Li Zhang, Han Xu
exaly