Logic, Symbolic and mathematical.
概要
| 作品: | 84 作品在 57 项出版品 57 种语言 | |
|---|---|---|
书目信息
Lectures in Logic and Set Theory :[electronic resource].Volume 1, Mathematical Logic.
by:
(书目-语言数据,印刷品)
Mathematics, models, and modality :[electronic resource] /selected philosophical essays
by:
(书目-语言数据,印刷品)
Between logic and intuition[electronic resource] :essays in honor of Charles Parsons /
by:
(书目-语言数据,印刷品)
Games, actions and social software[electronic resource] :multidisciplinary aspects /
by:
(书目-语言数据,印刷品)
Conditional and preferential logics[electronic resource] :proof methods and theorem proving /
by:
(书目-语言数据,印刷品)
Truth through proof[electronic resource] :a formalist foundation for mathematics /
by:
(书目-语言数据,印刷品)
After G�odel[electronic resource] :Platonism and rationalism in mathematics and logic /
by:
(书目-语言数据,印刷品)
The origin of the logic of symbolic mathematics[electronic resource] :Edmund Husserl and Jacob Klein /
by:
(书目-语言数据,印刷品)
Logic as universal science[electronic resource] :Russell's early logicism and its philosophical context /
by:
(书目-语言数据,印刷品)
Peeling potatoes or grinding lenses[electronic resource] :Spinoza and young Wittgenstein converse on immanence and its logic /
by:
(书目-语言数据,印刷品)
Alfred Tarski[electronic resource] :early work in Poland : geometry and teaching /
by:
(书目-语言数据,印刷品)
Perspectives in computational complexity[electronic resource] :the Somenath Biswas anniversary volume /
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:
(书目-语言数据,印刷品)
Leniewski's systems of logic and foundations of mathematics[electronic resource] /
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:
(书目-语言数据,印刷品)
Functions and generality of logic[electronic resource] :reflections on Dedekind's and Frege's logicisms /
by:
(书目-语言数据,印刷品)
Quantifiers, quantifiers, and quantifiers[electronic resource] :themes in logic, metaphysics, and language /
by:
(书目-语言数据,印刷品)
Special topics in mathematics for computer scientists[electronic resource] :sets, categories, topologies and measures /
by:
(书目-语言数据,印刷品)
KI 2015[electronic resource] :advances in artificial intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015 : proceedings /
by:
(书目-语言数据,印刷品)
Reachability problems[electronic resource] :9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
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:
(书目-语言数据,印刷品)
Text analysis pipelines[electronic resource] :towards ad-hoc large scale text mining /
by:
(书目-语言数据,印刷品)
Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(书目-语言数据,印刷品)
A list of successes that can change the world[electronic resource] :essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(书目-语言数据,印刷品)
The mathematics of logic :a guide to completeness theorems and their applications /
by:
(书目-语言数据,印刷品)
The congruences of a finite lattice[electronic resource] :a "Proof-by-Picture" approach /
by:
(书目-电子资源)
An introduction to practical formal methods using temporal logic[electronic resource] /
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:
(书目-电子资源)
Deductive software verification - The KeY Book[electronic resource] :from theory to practice /
by:
(书目-语言数据,印刷品)
Logical studies of paraconsistent reasoning in science and mathematics[electronic resource] /
by:
(书目-语言数据,印刷品)
Does mathematical study develop logical thinking?[electronic resource] :testing the theory of formal discipline /
by:
(书目-语言数据,印刷品)
主题