Listing 1 - 10 of 215 | << page >> |
Sort by
|
Choose an application
Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logique --- Logica.
Choose an application
Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Congresses --- Congrès --- Logique symbolique. (Congrès) --- Logica (Symbolische). (Congres) --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism
Choose an application
The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic (ASL) to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible. Its stated purpose is to keep the logic community informed quickly of important developments in all parts of the discipline. The Bulletin of Symbolic Logic primarily publishes two types of papers: articles and communications. Articles present topics of broad interest that should be accessible to a large audience. They can be purely expository, survey, or historical articles, or they may contain, in addition, new ideas or results or new approaches to old ones. Communications are announcements of important new results and ideas. They are expected to include a description of the new work, as well as enough history, background, and explanation to make the significance of the work apparent to a wide audience. Papers in The Bulletin may deal with any aspect of logic, including mathematical or philosophical logic, logic in computer science or linguistics, the history or philosophy of logic, or applications of logic to other fields.
Logic, Symbolic and mathematical --- JEX4 --- Logique symbolique et mathématique --- Logic, Symbolic and mathematical. --- Symbolische logica. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism
Choose an application
This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (ii) these theories provide a new outlo
Logic, Symbolic and mathematical. --- Truth. --- Conviction --- Belief and doubt --- Philosophy --- Skepticism --- Certainty --- Necessity (Philosophy) --- Pragmatism --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic [Symbolic and mathematical ] --- Truth
Choose an application
One of the most striking features of mathematics is the fact that we are much more certain about the mathematical knowledge we have than about what mathematical knowledge is knowledge of. Are numbers, sets, functions and groups physical entities of some kind? Are they objectively existing objects in some non-physical, mathematical realm? Are they ideas that are present only in the mind? Or do mathematical truths not involve referents of any kind? It is these kinds of questions that have encouraged philosophers and mathematicians alike to focus their attention on issues in the philosoph
Philosophy of science --- Mathematics --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic of mathematics --- Mathematics, Logic of --- Philosophy. --- Logic, Symbolic and mathematical --- Philosophy
Choose an application
Logic, Symbolic and mathematical --- Science --- Academic collection --- Scientific method --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Methodology
Choose an application
Ideal spaces are a very general class of normed spaces of measurable functions, which includes e.g. Lebesgue and Orlicz spaces. Their most important application is in functional analysis in the theory of (usual and partial) integral and integro-differential equations. The book is a rather complete and self-contained introduction into the general theory of ideal spaces. Some emphasis is put on spaces of vector-valued functions and on the constructive viewpoint of the theory (without the axiom of choice). The reader should have basic knowledge in functional analysis and measure theory.
Analytical spaces --- Ideal spaces. --- Ideal spaces --- Calculus --- Mathematical Theory --- Mathematics --- Physical Sciences & Mathematics --- Functional analysis. --- Functions of real variables. --- Mathematical logic. --- Functional Analysis. --- Real Functions. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Real variables --- Functions of complex variables --- Functional calculus --- Calculus of variations --- Functional equations --- Integral equations
Choose an application
This book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics.
Mathematical logic --- Logique mathématique --- Décidabilité (logique mathématique) --- Logic, Symbolic and mathematical. --- Decidability (Mathematical logic) --- Logique mathématique. --- Decidability (Mathematical logic). --- Logic, Symbolic and mathematical --- Computable functions --- Gödel's theorem --- Recursive functions --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic [Symbolic and mathematical ] --- Logique mathématique. --- Décidabilité (logique mathématique)
Choose an application
Quantitative methods in social research --- Tarski, Alfred --- Logic [Symbolic and mathematical ] --- Logica [Symbolische en wiskundige ] --- Logique symbolique et mathémathique --- Logic, Symbolic and mathematical --- #GROL:SEMI-162 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Tarski, Alfred, --- Tarski, A. --- Teitelbaum, Alfred, --- Logic, Symbolic and mathematical. --- Tarski, Alfred.
Choose an application
This is an advanced study of systems of propositional logic which offers a comprehensive account of a wide variety of logical systems and which encourages students to take a critical stance towards the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory. Interesting features include a more refined treatment of modal logic and the special attention given to the weakenings of classical logic. Useful appendices provide a topical bibliography and review of basic set theory.
Mathematical logic --- Logic [Symbolic and mathematical ] --- Logica [Symbolische en wiskundige ] --- Logique symbolique et mathémathique --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Logic, Symbolic and mathematical. --- Logique mathématique --- Logique symbolique et mathématique --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Logique mathématique. --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logique --- Arts and Humanities --- Philosophy
Listing 1 - 10 of 215 | << page >> |
Sort by
|