Results 251 to 260 of about 2,913,967 (326)
Some of the next articles are maybe not open access.
Undergraduate Texts in Mathematics, 2007
Abstract Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic.
Ian Chiswell, Wilfrid Hodges
semanticscholar +3 more sources
Abstract Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic.
Ian Chiswell, Wilfrid Hodges
semanticscholar +3 more sources
Choice Reviews Online, 2009
Abstract The formal study of logic is ancient, going back to at least the fourth century b.c.e., when Aristotle and his Greek compatriots sought to identify those forms of human reasoning that are correct (or valid) and those that are not. Our motivation is similar.
William Johnston, Alex M McAllister
openaire +2 more sources
Abstract The formal study of logic is ancient, going back to at least the fourth century b.c.e., when Aristotle and his Greek compatriots sought to identify those forms of human reasoning that are correct (or valid) and those that are not. Our motivation is similar.
William Johnston, Alex M McAllister
openaire +2 more sources
Handbook of the History and Philosophy of Mathematical Practice, 2019
Reverse mathematics is a new field that seeks to find the axioms needed to prove given theorems. Reverse mathematics began as a technical field of mathematical logic, but its main ideas have precedents in the ancient field of geometry and the early ...
J. Stillwell
semanticscholar +1 more source
Reverse mathematics is a new field that seeks to find the axioms needed to prove given theorems. Reverse mathematics began as a technical field of mathematical logic, but its main ideas have precedents in the ancient field of geometry and the early ...
J. Stillwell
semanticscholar +1 more source
Mathematical Logic: Mathematics of Logic or Logic of Mathematics
2020This brief historical survey is written from a logical point of view. It is a rational reconstruction of the genesis of some interrelations between formal logic and mathematics. We examine how mathematical logic was conceived: as the abstract mathematics of logic or as the logic of mathematical practice.
openaire +1 more source
The Mathematical Gazette, 1926
I have been asked to speak about developments in Mathematical Logic since the publication of Principia Mathematica, and I think it would be most interesting if, instead of describing various definite improvements of detail, I were to discuss in outline the work which has been done on entirely different lines, and claims to supersede altogether the ...
openaire +1 more source
I have been asked to speak about developments in Mathematical Logic since the publication of Principia Mathematica, and I think it would be most interesting if, instead of describing various definite improvements of detail, I were to discuss in outline the work which has been done on entirely different lines, and claims to supersede altogether the ...
openaire +1 more source
2000
Abstract Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. In particular, it is a major element in theoretical computer science and has undergone a huge revival with the explosion of interest in computers and computer science.
René Cori, Daniel Lascar
openaire +2 more sources
Abstract Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. In particular, it is a major element in theoretical computer science and has undergone a huge revival with the explosion of interest in computers and computer science.
René Cori, Daniel Lascar
openaire +2 more sources
2001
Abstract Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the every- growing importance of computer science.
René Cori +2 more
openaire +2 more sources
Abstract Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the every- growing importance of computer science.
René Cori +2 more
openaire +2 more sources
This textbook is prepared on the basis of the author’s onesemester lecture notes reflecting the Mathematical Logic course for undergraduate and graduate students of mathematical or applied mathematical departments. This book is a compact introduction to many of the important topics of classical mathematical logic, comprising natural and unrestricted ...
V. Ravichandran, Atul Kumar Razdan
+4 more sources
V. Ravichandran, Atul Kumar Razdan
+4 more sources
2014
Tsarev, A. A. Mathematical Logic : study guide / A. A. Tsarev, E. A. Vit`ko ; Min. of education of the Republic of Belarus, Educational establishment "Vitebsk State University named after P. M. Masherov", Dep. of computer science and information technology. - Vitebsk : VSU named after P. M. Masherov, 2014. - 40 p. - Bibliogr.: p. 40 . - Glossary: p. 39.
Tsarev, A. A., Vit`ko, E. A.
openaire +3 more sources
Tsarev, A. A. Mathematical Logic : study guide / A. A. Tsarev, E. A. Vit`ko ; Min. of education of the Republic of Belarus, Educational establishment "Vitebsk State University named after P. M. Masherov", Dep. of computer science and information technology. - Vitebsk : VSU named after P. M. Masherov, 2014. - 40 p. - Bibliogr.: p. 40 . - Glossary: p. 39.
Tsarev, A. A., Vit`ko, E. A.
openaire +3 more sources