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