Mathematical Logic and Foundations.
概観
| 著作: | 91 作品に 90 出版物中に 90 言語 | |
|---|---|---|
タイトル
Combinatorial set theory[electronic resource] :with a gentle introduction to forcing /
…で:
(言語・文字資料 (印刷物))
Foundations of algebraic specification and formal software development[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Recent trends in algebraic development techniques[electronic resource] :20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
A beginner's guide to finite mathematics[electronic resource] :for business, management, and the social sciences /
…で:
(言語・文字資料 (印刷物))
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 /
…で:
(言語・文字資料 (印刷物))
Proofs and fundamentals[electronic resource] :a first course in abstract mathematics /
…で:
(言語・文字資料 (印刷物))
Constructivity and computability in historical and philosophical perspective[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Alfred Tarski[electronic resource] :early work in Poland : geometry and teaching /
…で:
(言語・文字資料 (印刷物))
The philosophy of mathematics and logic in the 1920s and 1930s in Poland[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Mereology and the sciences[electronic resource] :parts and wholes in the contemporary scientific context /
…で:
(言語・文字資料 (印刷物))
A Cp-theory problem book[electronic resource] :special features of function spaces /
…で:
(言語・文字資料 (印刷物))
Pristine perspectives on logic, language, and computation[electronic resource] :ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers /
…で:
(言語・文字資料 (印刷物))
Perspectives in computational complexity[electronic resource] :the Somenath Biswas anniversary volume /
…で:
(言語・文字資料 (印刷物))
The road to universal logic[electronic resource] :Festschrift for 50th Birthday of Jean-Yves Beziau.Volume I /
…で:
(言語・文字資料 (印刷物))
Essays on Godel's reception of Leibniz, Husserl, and Brouwer[electronic resource] /
…で:
(言語・文字資料 (印刷物))
From logic to practice[electronic resource] :Italian studies in the philosophy of mathematics /
…で:
(言語・文字資料 (印刷物))
Leniewski's systems of logic and foundations of mathematics[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Where is the Godel-point hiding[electronic resource] :Gentzen's consistency proof of 1936 and his representation of constructive ordinals /
…で:
(言語・文字資料 (印刷物))
Pluralism in mathematics[electronic resource] :a new position in philosophy of mathematics /
…で:
(言語・文字資料 (印刷物))
Kripke's worlds[electronic resource] :an introduction to modal logics via Tableaux /
…で:
(言語・文字資料 (印刷物))
Explaining beauty in mathematics[electronic resource] :an aesthetic theory of mathematics /
…で:
(言語・文字資料 (印刷物))
David Makinson on classical methods for non-classical problems[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Advances in natural deduction[electronic resource] :a celebration in Dag Prawitz's work /
…で:
(言語・文字資料 (印刷物))
Facets of uncertainties and applications[electronic resource] :ICFUA, Kolkata, India, December 2013 /
…で:
(コンピュータ・メディア)
Freedom and enforcement in action[electronic resource] :a study in formal action theory /
…で:
(言語・文字資料 (印刷物))
Quantum physics, fuzzy sets and logic[electronic resource] :steps towards a many-valued interpretation of quantum mechanics /
…で:
(言語・文字資料 (印刷物))
Quantifiers, quantifiers, and quantifiers[electronic resource] :themes in logic, metaphysics, and language /
…で:
(言語・文字資料 (印刷物))
Introduction to concurrency theory[electronic resource] :transition systems and CCS /
…で:
(言語・文字資料 (印刷物))
Special topics in mathematics for computer scientists[electronic resource] :sets, categories, topologies and measures /
…で:
(言語・文字資料 (印刷物))
Logic, rationality, and interaction[electronic resource] :5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Recent developments in the philosophy of science[electronic resource] :EPSA13 Helsinki /
…で:
(言語・文字資料 (印刷物))
Logic, mathematics, and computer science[electronic resource] :modern foundations with practical applications /
…で:
(言語・文字資料 (印刷物))
Towards an arithmetical logic[electronic resource] :the arithmetical foundations of logic /
…で:
(言語・文字資料 (印刷物))
Recent trends in algebraic development techniques[electronic resource] :22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Constructive commutative algebra[electronic resource] :projective modules over polynomial rings and dynamical Gröbner bases /
…で:
(言語・文字資料 (印刷物))
Turing's revolution[electronic resource] :the impact of his ideas about computability /
…で:
(言語・文字資料 (印刷物))
New directions in paraconsistent logic[electronic resource] :5th WCP, Kolkata, India, February 2014 /
…で:
(言語・文字資料 (印刷物))
Ordered sets[electronic resource] :an introduction with connections from combinatorics to topology /
…で:
(言語・文字資料 (印刷物))
Mathematics and the mind[electronic resource] :an introduction into Ibn Sina's theory of knowledge /
…で:
(言語・文字資料 (印刷物))
Structural analysis of non-classical logics[electronic resource] :the proceedings of the second Taiwan Philosophical Logic Colloquium /
…で:
(言語・文字資料 (印刷物))
On logical, algebraic, and probabilistic aspects of fuzzy set theory[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Trick or truth?[electronic resource] :the mysterious connection between physics and mathematics /
…で:
(言語・文字資料 (印刷物))
The congruences of a finite lattice[electronic resource] :a "Proof-by-Picture" approach /
…で:
(コンピュータ・メディア)
Objectivity, realism, and proof[electronic resource] :FilMat studies in the philosophy of mathematics /
…で:
(コンピュータ・メディア)
Cultures of mathematics and logic[electronic resource] :selected papers from the Conference in Guangzhou, China, November 9-12, 2012 /
…で:
(コンピュータ・メディア)
Probability logics[electronic resource] :probability-based formalization of uncertain reasoning /
…で:
(コンピュータ・メディア)
Logical studies of paraconsistent reasoning in science and mathematics[electronic resource] /
…で:
(言語・文字資料 (印刷物))
主題