Mathematical Logic and Foundations.
Overview
| Works: | 91 works in 90 publications in 90 languages | |
|---|---|---|
Titles
Combinatorial set theory[electronic resource] :with a gentle introduction to forcing /
by:
(Language materials, printed)
Foundations of algebraic specification and formal software development[electronic resource] /
by:
(Language materials, printed)
Recent trends in algebraic development techniques[electronic resource] :20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
by:
(Language materials, printed)
A beginner's guide to finite mathematics[electronic resource] :for business, management, and the social sciences /
by:
(Language materials, printed)
Sparsity[electronic resource] :graphs, structures, and algorithms /
by:
(Language materials, printed)
How the world computes[electronic resource] :Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
by:
(Language materials, printed)
Proofs and fundamentals[electronic resource] :a first course in abstract mathematics /
by:
(Language materials, printed)
A mathematical prelude to the philosophy of mathematics[electronic resource] /
by:
(Language materials, printed)
Set theory[electronic resource] :exploring independence and truth /
by:
(Language materials, printed)
Johan van Benthem on logic and information dynamics[electronic resource] /
by:
(Language materials, printed)
Constructivity and computability in historical and philosophical perspective[electronic resource] /
by:
(Language materials, printed)
Alfred Tarski[electronic resource] :early work in Poland : geometry and teaching /
by:
(Language materials, printed)
The philosophy of mathematics and logic in the 1920s and 1930s in Poland[electronic resource] /
by:
(Language materials, printed)
Mereology and the sciences[electronic resource] :parts and wholes in the contemporary scientific context /
by:
(Language materials, printed)
A Cp-theory problem book[electronic resource] :special features of function spaces /
by:
(Language materials, printed)
Rewriting and Typed Lambda Calculi[electronic resource] :joint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings /
by:
(Language materials, printed)
Pristine perspectives on logic, language, and computation[electronic resource] :ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers /
by:
(Language materials, printed)
Perspectives in computational complexity[electronic resource] :the Somenath Biswas anniversary volume /
by:
(Language materials, printed)
Duality theories for Boolean algebras with operators[electronic resource] /
by:
(Language materials, printed)
The road to universal logic[electronic resource] :Festschrift for 50th Birthday of Jean-Yves Beziau.Volume I /
by:
(Language materials, printed)
Essays on Godel's reception of Leibniz, Husserl, and Brouwer[electronic resource] /
by:
(Language materials, printed)
From logic to practice[electronic resource] :Italian studies in the philosophy of mathematics /
by:
(Language materials, printed)
Non-commutative multiple-valued logic algebras[electronic resource] /
by:
(Language materials, printed)
Leniewski's systems of logic and foundations of mathematics[electronic resource] /
by:
(Language materials, printed)
Where is the Godel-point hiding[electronic resource] :Gentzen's consistency proof of 1936 and his representation of constructive ordinals /
by:
(Language materials, printed)
Pluralism in mathematics[electronic resource] :a new position in philosophy of mathematics /
by:
(Language materials, printed)
Kripke's worlds[electronic resource] :an introduction to modal logics via Tableaux /
by:
(Language materials, printed)
Explaining beauty in mathematics[electronic resource] :an aesthetic theory of mathematics /
by:
(Language materials, printed)
David Makinson on classical methods for non-classical problems[electronic resource] /
by:
(Language materials, printed)
Set theory[electronic resource] :with an introduction to real point sets /
by:
(Language materials, printed)
Advances in natural deduction[electronic resource] :a celebration in Dag Prawitz's work /
by:
(Language materials, printed)
Facets of uncertainties and applications[electronic resource] :ICFUA, Kolkata, India, December 2013 /
by:
(Electronic resources)
Freedom and enforcement in action[electronic resource] :a study in formal action theory /
by:
(Language materials, printed)
Quantum physics, fuzzy sets and logic[electronic resource] :steps towards a many-valued interpretation of quantum mechanics /
by:
(Language materials, printed)
Quantifiers, quantifiers, and quantifiers[electronic resource] :themes in logic, metaphysics, and language /
by:
(Language materials, printed)
Computational complexity of solving equation systems[electronic resource] /
by:
(Language materials, printed)
Ernst Zermelo[electronic resource] :an approach to his life and work /
by:
(Language materials, printed)
Nonstandard analysis for the working mathematician[electronic resource] /
by:
(Language materials, printed)
Introduction to concurrency theory[electronic resource] :transition systems and CCS /
by:
(Language materials, printed)
Special topics in mathematics for computer scientists[electronic resource] :sets, categories, topologies and measures /
by:
(Language materials, printed)
Correct system design[electronic resource] :symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /
by:
(Language materials, printed)
Logic, rationality, and interaction[electronic resource] :5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
by:
(Language materials, printed)
Recent developments in the philosophy of science[electronic resource] :EPSA13 Helsinki /
by:
(Language materials, printed)
Logic, mathematics, and computer science[electronic resource] :modern foundations with practical applications /
by:
(Language materials, printed)
Gentzen's centenary[electronic resource] :the quest for consistency /
by:
(Language materials, printed)
Towards an arithmetical logic[electronic resource] :the arithmetical foundations of logic /
by:
(Language materials, printed)
Recent trends in algebraic development techniques[electronic resource] :22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
(Language materials, printed)
Constructive commutative algebra[electronic resource] :projective modules over polynomial rings and dynamical Gröbner bases /
by:
(Language materials, printed)
Turing's revolution[electronic resource] :the impact of his ideas about computability /
by:
(Language materials, printed)
New directions in paraconsistent logic[electronic resource] :5th WCP, Kolkata, India, February 2014 /
by:
(Language materials, printed)
J. Michael Dunn on information based logics[electronic resource] /
by:
(Language materials, printed)
Ordered sets[electronic resource] :an introduction with connections from combinatorics to topology /
by:
(Language materials, printed)
Mathematics and the mind[electronic resource] :an introduction into Ibn Sina's theory of knowledge /
by:
(Language materials, printed)
Structural analysis of non-classical logics[electronic resource] :the proceedings of the second Taiwan Philosophical Logic Colloquium /
by:
(Language materials, printed)
On logical, algebraic, and probabilistic aspects of fuzzy set theory[electronic resource] /
by:
(Language materials, printed)
Trick or truth?[electronic resource] :the mysterious connection between physics and mathematics /
by:
(Language materials, printed)
The congruences of a finite lattice[electronic resource] :a "Proof-by-Picture" approach /
by:
(Electronic resources)
Objectivity, realism, and proof[electronic resource] :FilMat studies in the philosophy of mathematics /
by:
(Electronic resources)
Cultures of mathematics and logic[electronic resource] :selected papers from the Conference in Guangzhou, China, November 9-12, 2012 /
by:
(Electronic resources)
Number theory[electronic resource] :an introduction via the density of primes /
by:
(Electronic resources)
Probability logics[electronic resource] :probability-based formalization of uncertain reasoning /
by:
(Electronic resources)
Logical studies of paraconsistent reasoning in science and mathematics[electronic resource] /
by:
(Language materials, printed)
Martin Davis on computability, computational logic, and mathematical foundations[electronic resource] /
by:
(Language materials, printed)
Subjects