Search
Feedback
About
Help
News
| Listing 1 - 10 of 43 | << page >> |
Sort by
|
Book
Year: 1984 Publisher: Moscow: Mir,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0819141798 Year: 1984 Publisher: Lanham University press of America
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 3518281011 9783518281017 Year: 1984 Volume: 501 1 Publisher: Frankfurt am Main Suhrkamp
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Langage --- --Philosophie --- --Logic, symbolic and mathematical --- Language and languages --- Philosophy --- Philosophie --- Logic, symbolic and mathematical --- Language and languages - Philosophy
Book
ISBN: 0135399661 9780135399668 Year: 1984 Publisher: Englewood Cliffs, N.J. : Prentice-Hall International,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Computer programming --- Logic, Symbolic and mathematical --- Programmation (Informatique) --- Logique symbolique et mathématique --- Computer programming. --- Logic, Symbolic and mathematical. --- Logique symbolique et mathématique --- Semantics --- Programming Methodology --- Logic
Book
Year: 1984 Publisher: Chichester: Ellis Horwood,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Intuitionistic Logic --- 3 Valued Logics --- Autoepistemic Logic --- Temporal Logic --- Logic --- Knowledge --- Artificial intelligence --- Logic, symbolic and mathematical
ISBN: 0198531796 9780198531791 Year: 1984 Volume: 10 Publisher: Oxford Clarendon
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Infinite --- Set theory --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Logic, Symbolic and mathematical --- Mathematics --- Infinity --- Finite, The --- Infinite. --- Set theory.
ISBN: 0821845136 9780821845134 Year: 1984 Volume: 60 Publisher: Providence (R.I.): American Mathematical Society
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
51 --- Mathematical analysis --- 517.1 Mathematical analysis --- 51 Mathematics --- Mathematics --- Constructive mathematics --- Mathematics, Constructive --- Logic, Symbolic and mathematical --- 517.1. --- 517.1
Book
ISBN: 0387908951 3540908951 9783540908951 Year: 1984 Publisher: New-York Berlin : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Logique mathématique --- Théorie de la démonstration --- 510.6 --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical. --- 510.6 Mathematical logic --- Logique mathématique. --- Théorie de la démonstration.
Book
ISBN: 0444868763 9780444868763 Year: 1984 Volume: v. 112 Publisher: Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Symbolic and mathematical. --- Logique symbolique et mathématique --- Model theory --- Lambda calculus --- Categories (Mathematics) --- Philosophy --- Philosophy & Religion --- Logic --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Calculus, Lambda --- Logic, Symbolic and mathematical
ISBN: 2705614125 9782705614126 Year: 1984 Volume: 1412 Publisher: Paris : Hermann,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematics --- Logic, Symbolic and mathematical. --- Philosophy. --- 510.21 --- 510.21 General philosophical considerations. Critical aspects. Logical antinomies --- General philosophical considerations. Critical aspects. Logical antinomies --- Logic, Symbolic and mathematical --- Mathématiques --- Logique symbolique et mathématique --- Philosophy --- Philosophie --- Heuristic. --- Heuristique. --- Heuristique --- Mathematics - Philosophy. --- Logique mathematique --- Preuve, theorie de la --- Refutation (logique) --- Theorie de la preuve
| Listing 1 - 10 of 43 | << page >> |
Sort by
|