Logic, Symbolic and mathematical.
概観
| 著作: | 84 作品に 57 出版物中に 57 言語 | |
|---|---|---|
タイトル
Lectures in Logic and Set Theory :[electronic resource].Volume 1, Mathematical Logic.
…で:
(言語・文字資料 (印刷物))
Mathematics, models, and modality :[electronic resource] /selected philosophical essays
…で:
(言語・文字資料 (印刷物))
Between logic and intuition[electronic resource] :essays in honor of Charles Parsons /
…で:
(言語・文字資料 (印刷物))
Games, actions and social software[electronic resource] :multidisciplinary aspects /
…で:
(言語・文字資料 (印刷物))
Conditional and preferential logics[electronic resource] :proof methods and theorem proving /
…で:
(言語・文字資料 (印刷物))
Truth through proof[electronic resource] :a formalist foundation for mathematics /
…で:
(言語・文字資料 (印刷物))
After G�odel[electronic resource] :Platonism and rationalism in mathematics and logic /
…で:
(言語・文字資料 (印刷物))
The origin of the logic of symbolic mathematics[electronic resource] :Edmund Husserl and Jacob Klein /
…で:
(言語・文字資料 (印刷物))
Logic as universal science[electronic resource] :Russell's early logicism and its philosophical context /
…で:
(言語・文字資料 (印刷物))
Peeling potatoes or grinding lenses[electronic resource] :Spinoza and young Wittgenstein converse on immanence and its logic /
…で:
(言語・文字資料 (印刷物))
Alfred Tarski[electronic resource] :early work in Poland : geometry and teaching /
…で:
(言語・文字資料 (印刷物))
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] /
…で:
(言語・文字資料 (印刷物))
Leniewski's systems of logic and foundations of mathematics[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Explaining beauty in mathematics[electronic resource] :an aesthetic theory of mathematics /
…で:
(言語・文字資料 (印刷物))
David Makinson on classical methods for non-classical problems[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Functions and generality of logic[electronic resource] :reflections on Dedekind's and Frege's logicisms /
…で:
(言語・文字資料 (印刷物))
Quantifiers, quantifiers, and quantifiers[electronic resource] :themes in logic, metaphysics, and language /
…で:
(言語・文字資料 (印刷物))
Special topics in mathematics for computer scientists[electronic resource] :sets, categories, topologies and measures /
…で:
(言語・文字資料 (印刷物))
KI 2015[electronic resource] :advances in artificial intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Reachability problems[electronic resource] :9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic, mathematics, and computer science[electronic resource] :modern foundations with practical applications /
…で:
(言語・文字資料 (印刷物))
Towards an arithmetical logic[electronic resource] :the arithmetical foundations of logic /
…で:
(言語・文字資料 (印刷物))
Text analysis pipelines[electronic resource] :towards ad-hoc large scale text mining /
…で:
(言語・文字資料 (印刷物))
Logic for programming, artificial intelligence, and reasoning[electronic resource] :20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
A list of successes that can change the world[electronic resource] :essays dedicated to Philip Wadler on the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
The mathematics of logic :a guide to completeness theorems and their applications /
…で:
(言語・文字資料 (印刷物))
The congruences of a finite lattice[electronic resource] :a "Proof-by-Picture" approach /
…で:
(コンピュータ・メディア)
An introduction to practical formal methods using temporal logic[electronic resource] /
…で:
(コンピュータ・メディア)
Objectivity, realism, and proof[electronic resource] :FilMat studies in the philosophy of mathematics /
…で:
(コンピュータ・メディア)
Fuzziness in information systems[electronic resource] :how to deal with crisp and fuzzy data in selection, classification, and summarization /
…で:
(コンピュータ・メディア)
Subjective logic[electronic resource] :a formalism for reasoning under uncertainty /
…で:
(コンピュータ・メディア)
Probability logics[electronic resource] :probability-based formalization of uncertain reasoning /
…で:
(コンピュータ・メディア)
Deductive software verification - The KeY Book[electronic resource] :from theory to practice /
…で:
(言語・文字資料 (印刷物))
Logical studies of paraconsistent reasoning in science and mathematics[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Does mathematical study develop logical thinking?[electronic resource] :testing the theory of formal discipline /
…で:
(言語・文字資料 (印刷物))
Logic versus approximation[electronic resource] :essays dedicated to Michael M. Richter on the occasion of his 65th birthday /
…で:
(コンピュータ・メディア)
Mechanizing Mathematical Reasoning[electronic resource] :Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
…で:
(コンピュータ・メディア)
The digital and the real world[electronic resource] :computational foundations of mathematics, science, technology, and philosophy /
…で:
(コンピュータ・メディア)
主題