This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and...
Search Result :
Books in the Mathematical Sciences
This site is intended as a resource for university students in the mathematical sciences. Books are recommended on the basis of readability and other pedagogical value.
This site is intended as a resource for university students in the mathematical sciences. Books are recommended on the basis of readability and other pedagogical value.
Kurt Gödel (Stanford Encyclopedia of Philosophy)
where α, β are any ordinals, γ is a limit ordinal and ℘(x) denotes the power set of x. Finally
where α, β are any ordinals, γ is a limit ordinal and ℘(x) denotes the power set of x. Finally
Bertrand Russell (Stanford Encyclopedia of Philosophy)
Bertrand Arthur William Russell (1872–1970) was a British philosopher, logician, essayist and social critic best known for his work in mathematical logic ...
Bertrand Arthur William Russell (1872–1970) was a British philosopher, logician, essayist and social critic best known for his work in mathematical logic ...
2015 Meetings Around the World - Institute of Mathematical ...
The conference is in honour of N.H. Bingham's 70th birthday. It will take place at Imperial College, London, organised by Charles Goldie, Alex Mijatovic and Rüdiger ...
The conference is in honour of N.H. Bingham's 70th birthday. It will take place at Imperial College, London, organised by Charles Goldie, Alex Mijatovic and Rüdiger ...
Rudolf Carnap, Internet Encyclopedia of Philosophy
Rudolf Carnap (1891—1970) Rudolf Carnap, a German-born philosopher and naturalized U.S. citizen, was a leading exponent of logical positivism and was one of the ...
Rudolf Carnap (1891—1970) Rudolf Carnap, a German-born philosopher and naturalized U.S. citizen, was a leading exponent of logical positivism and was one of the ...
Charles Sanders Peirce - Wikipedia, the free encyclopedia
B:x: Brent, Joseph (1998), Charles Sanders Peirce: A Life, 2nd edition, page x [8] CDPT: Commens Dictionary of Peirce's Terms CP x.y: Collected Papers, volume x ...
B:x: Brent, Joseph (1998), Charles Sanders Peirce: A Life, 2nd edition, page x [8] CDPT: Commens Dictionary of Peirce's Terms CP x.y: Collected Papers, volume x ...
The Mathematical Movie Database
Back to . MMDB−The Mathematical Movie Database. by Burkard Polster and Marty Ross. Must-See maths Movies (criteria: fun, full of maths, enjoyed watching)
Back to . MMDB−The Mathematical Movie Database. by Burkard Polster and Marty Ross. Must-See maths Movies (criteria: fun, full of maths, enjoyed watching)
Earliest Known Uses of Some of the Words of Mathematics (C)
Earliest Known Uses of Some of the Words of Mathematics (C) Last revision: March 28, 2014
Earliest Known Uses of Some of the Words of Mathematics (C) Last revision: March 28, 2014
Logic Quotes - 140 quotes on Logic Science Quotes ...
I believe in logic, the sequence of cause and effect, and in science its only begotten son our law, which was conceived by the ancient Greeks, thrived under Isaac ...
I believe in logic, the sequence of cause and effect, and in science its only begotten son our law, which was conceived by the ancient Greeks, thrived under Isaac ...
Mathematical analysis - Wikipedia, the free encyclopedia
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex ...
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex ...
Download link for Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Cambridge Studies in Advanced Mathematics) by George Tourlakis :
Aucun commentaire:
Enregistrer un commentaire