Listing 1 - 10 of 220 | << page >> |
Sort by
|
Choose an application
The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of recent developments, and the rest of the papers are chosen to complement the invited talks. This volume includes surveys, tutorials, and selected research papers from the 2004 meeting. Highlights include a tutorial survey of the recent highpoints of universal algebra, written by a leading expert; explorations of foundational questions; and a quartet of model theory papers giving an excellent reflection of current work in model theory, from the most abstract aspect 'abstract elementary classes' to issues around p-adic integration.
Choose an application
Choose an application
A collection of excellent research papers in logic, mathematics, computer science and game theory
Choose an application
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.
Choose an application
Mathematicians --- Logic, symbolic and mathematical. --- Gentzen, Gerhard.
Choose an application
The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of developments, and the rest of the papers are chosen to complement the invited talks. This 2007 volume includes surveys, tutorials, and selected research papers from the 2005 meeting. Highlights include three papers on different aspects of connections between model theory and algebra; a survey of major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics.
Logic, Symbolic and mathematical --- Mathematical Sciences --- General and Others
Choose an application
Algebra, Abstract --- Combinatorial analysis --- Logic, Symbolic and mathematical
Choose an application
Computable functions --- Numerical analysis --- Logic, Symbolic and mathematical --- Data processing
Choose an application
That the structure V = UaVa be the universe of all sets, that the set theoretical axioms be true assertions about V or that a question like the Continuum Hypothesis be still open (since it is undecided whether it holds or fails in V) are common assertions in set theory. How one is to understand them, tough, is not an obvious matter. The aim of this book is just to interpret the façon de parler that V is the universe of all sets in a way that is faithful to what is actually done in set theory.
Mathematics --- Set theory. --- Logic, Symbolic and mathematical. --- Philosophy.
Choose an application
Global analysis (Mathematics) --- Logic, Symbolic and mathematical. --- Mathematics.
Listing 1 - 10 of 220 | << page >> |
Sort by
|