Search
Feedback
About
Help
News
| Listing 1 - 10 of 71 | << page >> |
Sort by
|
ISBN: 2711610489 Year: 1991 Publisher: Paris Vrin
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0070430438 9780070430433 Year: 1991 Publisher: Hightstown, N.J.: McGraw-Hill,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Periodical
ISBN: 071560886X Year: 1991 Publisher: London Duckworth
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematics --- Philosophy --- Mathematics --- Foundations --- Logic [Symbolic and mathematical ] --- Mathematics - Philosophy. --- Mathematics - Foundations. --- Logic, Symbolic and mathematical.
Book
ISBN: 2854282825 9782854282825 Year: 1991 Publisher: Toulouse: Cépaduès,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Apprentissage automatique --- Machine Learning --- Induction (Logic) --- Logic, symbolic and mathematical
ISBN: 0444888195 Year: 1991 Publisher: Amsterdam : Elsevier,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0444885439 9638022574 Year: 1991 Volume: vol 54 Publisher: Amsterdam : North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Algebraic logic --- Algebraische logica --- Logique algebrique --- -Logic, Symbolic and mathematical --- Congresses --- -Congresses --- Logique algébrique --- Logic, Symbolic and mathematical --- Logique algébrique.
Book
ISBN: 071560886X 9780715608869 Year: 1991 Publisher: London: Duckworth,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematics --- Philosophy --- Foundations --- Logic [Symbolic and mathematical ] --- Mathematics - Philosophy. --- Mathematics - Foundations. --- Logic, Symbolic and mathematical. --- Mathematical logic --- Frege, Gottlob --- Philosophy.
ISBN: 0631177787 0631177779 9780631177784 Year: 1991 Publisher: Oxford : B. Blackwell,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic --- Logique --- --Logic, symbolic and mathematical --- 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 mathématique --- Logic, symbolic and mathematical
ISBN: 0444884440 9780444884442 9780080867892 0080867898 1281782912 9781281782915 9786611782917 Year: 1991 Volume: 49 Publisher: Amsterdam ; New York : New York, NY, USA : North-Holland ; Distributors for the U.S. and Canada, Elsevier Science Pub. Co.,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
The Lukasiewicz-Moisil algebras were created by Moisil as an algebraic counterpart for the many-valued logics of Lukasiewicz. The theory of LM-algebras has developed to a considerable extent both as an algebraic theory of intrinsic interest and in view of its applications to logic and switching theory.This book gives an overview of the theory, comprising both classical results and recent contributions, including those of the authors. N-valued and &THgr;-valued algebras are presented, as well as &THgr;-algebras with negation.Mathematicians interested in lattice theory or symboli
Algebra --- Łukasiewicz algebras. --- Algebraic logic. --- Logic, Symbolic and mathematical --- Algebras, Łukasiewicz --- Algebraic logic
Book
ISBN: 0198239750 0191597198 9780198239758 Year: 1991 Publisher: Oxford : Clarendon press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Concerned with the problem of existence in mathematics, this volume develops a mathematical system in which there are no existence assertions but only assertions of constructibility. It explores the philosophical implications of such an approach in the writings of Field, Burgess, Maddy and Kitcher.
Mathématiques --- Mathematiques constructives --- Logique symbolique et mathématique --- Philosophie --- Mathematics --- Constructive mathematics. --- Logic, Symbolic and mathematical. --- Philosophy.
| Listing 1 - 10 of 71 | << page >> |
Sort by
|