Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 11 | << page >> |
Sort by
|
Book
ISBN: 0415018714 0415018706 9780415018715 Year: 1988 Publisher: London Routledge
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logistiek. Mathematische logica. Symbolische logica --- 164 Logistiek. Mathematische logica. Symbolische logica --- Logic, Symbolic and mathematical --- 164 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical.
Book
ISBN: 9027452288 9789027452283 Year: 1978 Volume: 482 Publisher: Utrecht Het Spectrum
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
510.6 --- KVH-AND --- 162 --- Logica --- Mathematical logic --- Wiskundige logica. --- Symbolische logica. --- 510.6 Mathematical logic --- #gsdbf --- Logic
Book
ISBN: 9023214218 Year: 1976 Publisher: Assen Van Gorcum
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- 164 --- #gsdbF --- 510.6 --- #GROL:SEMI-164 --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logistiek. Mathematische logica. Symbolische logica --- Logic, Symbolic and mathematical. --- 510.6 Mathematical logic --- 164 Logistiek. Mathematische logica. Symbolische logica --- Logique symbolique et mathématique
Book
ISBN: 3519027054 9783519027058 Year: 1976 Publisher: Stuttgart Teubner
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, symbolic and mathematical --- Set theory --- 510.6 --- 164 --- Logic, Symbolic and mathematical --- #WWIS:AGGR --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Mathematics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Syllogism --- Logistiek. Mathematische logica. Symbolische logica --- 164 Logistiek. Mathematische logica. Symbolische logica --- 510.6 Mathematical logic
Book
ISBN: 0195143817 Year: 1999 Publisher: Oxford Oxford university press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
165.23 --- 164 --- #PBIB:2001.4 --- Kennis: begripsanalyse naar woordbetekenis; betekeningsvraagstuk --- Logistiek. Mathematische logica. Symbolische logica --- Experimentele psychologie --- denken, begripsvorming en problem solving --- denken, begripsvorming en problem solving. --- 164 Logistiek. Mathematische logica. Symbolische logica --- 165.23 Kennis: begripsanalyse naar woordbetekenis; betekeningsvraagstuk
ISBN: 0262231247 0262730804 9780262231244 Year: 1986 Publisher: Cambridge (Mass.): MIT Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
History of philosophy --- anno 1900-1999 --- Analysis (Philosophy) --- Logic --- Knowledge, Theory of --- Philosophy, Modern --- 164 --- -Modern philosophy --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Epistemology --- Theory of knowledge --- Analysis, Linguistic (Philosophy) --- Analysis, Logical --- Analysis, Philosophical --- Analytic philosophy --- Analytical philosophy --- Linguistic analysis (Philosophy) --- Logical analysis --- Philosophical analysis --- Philosophy, Analytical --- Language and languages --- Methodology --- Logical positivism --- Semantics (Philosophy) --- Logistiek. Mathematische logica. Symbolische logica --- -Logistiek. Mathematische logica. Symbolische logica --- 164 Logistiek. Mathematische logica. Symbolische logica --- -Argumentation --- Modern philosophy --- Philosophy, Modern - 20th century
Periodical
ISSN: 19435894 10798986 Year: 1995 Publisher: Champaign, Ill. : Association for Symbolic Logic,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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 --- Lògica. --- Lògica matemàtica.
Book
ISBN: 0198241445 9780198241447 Year: 1957 Publisher: Oxford : Clarendon Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic. --- Logic. --- Logik. --- Logique symbolique et mathématique. --- Modalité (Logique). --- Syllogism. --- Syllogism. --- Syllogisme. --- Syllogismen. --- Syllogismus. --- Symbolische logica. --- Aristote --- Aristote --- Aristoteles, --- Aristotle. --- Aristotle. --- Aristoteles. --- Et la logique. --- Et le syllogisme. --- Organon (Aristotle).
Periodical
ISSN: 00224812 19435886 Publisher: Providence
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Includes section "Reviews." Includes lists of members. Vol. 1, no. 4 (Dec. 1936) consists of a bibliography of symbolic logic for the period 1666-1935, by Alonzo Church (with additions and corrections in v. 3, no. 4).
Mathematical logic --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Periodicals --- Périodiques --- #FHIW:CAT1 --- #ANTILTPNE9604 --- Arts and Humanities --- Language & Linguistics --- Philosophy --- General and Others --- Mathematical Analysis & Logic --- Mathematical Sciences --- Logic --- -511.305 --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Electronic information resources --- E-journals --- Arts and Humanities. --- Mathematical Analysis & Logic. --- Mathematical Sciences. --- Logique symbolique et mathématique --- Périodiques --- CAMUNIPRE-E EJINFOR EJMATHE EJPHILO EPUB-ALPHA-J EPUB-PER-FT JSTOR-E --- Logika --- Logika. --- Logic, Symbolic and mathematical. --- Symbolische logica. --- Logique mathématique. --- Logique (Philosophie) --- Logic, Symbolic and mathematical - Periodicals.
Book
ISBN: 9025466435 9025466370 9025466532 9789025466374 Year: 1988 Publisher: Amsterdam Contact
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Philosophy of nature --- Artificial intelligence. Robotics. Simulation. Graphics --- Mathematical logic --- Mathematics --- logic --- Bach, Johann Sebastian, --- Escher, Maurits Cornelis, --- Gödel, Kurt --- Gödel, Kurt, --- Cultuurfilosofie ; kunst, muziek en artificiële intelligentie --- Bach, J.S. --- Escher, M.C. --- Wiskunde ; Kurt Gödel --- Metamathemathica --- Symbolische logica --- Filosofie ; Cultuurfilosofie --- Bach, J.S --- Escher, M.C --- 130.2 --- 16 --- 16 Logica. Kennistheorie. Logische methodiek. Wetenschapsfilosofie --- Logica. Kennistheorie. Logische methodiek. Wetenschapsfilosofie --- Logic --- logica --- Metamathematics --- Symmetry --- Artificial intelligence --- Philosophy --- Natuurfilosofie --- Mathematische logica --- Artificiële intelligentie. Robotica. Simulatie. Graphics --- 510.1 --- 78.21.1 Bach --- muziek --- #GGSB: Sociale wet. essays --- #gsdbf --- artificiële intelligentie --- consistentie --- volledigheid --- propositielogica --- hersenen en denken --- church --- turing --- tarski --- onbeslisbare uitspraken --- escher --- Bach --- Gödel --- 161/162 --- 165 --- 78 <041> --- Beginselen van de logica. Formele logica --- Kennisleer. Epistemologie --- Muziek--Brochures. Pamfletten. Essays --- 165 Kennisleer. Epistemologie --- 161/162 Beginselen van de logica. Formele logica --- 78 <041> Muziek--Brochures. Pamfletten. Essays --- Metamathematica --- Sociale wet. essays --- Bach, Johann Sebastian, - 1685-1750 --- Escher, Maurits Cornelis, - 1898-1972 --- Gödel, Kurt, - 1906-1978 --- Escher, Maurits Cornelis, - 1898-1971
| Listing 1 - 10 of 11 | << page >> |
Sort by
|