004 121 160 164 1724-1804 1806-1881 1815-1864 1845-1918 1848-1925 1858-1932 1862-1943 1872-1970 1889-1951 1896-1980 190 1901-1983 192 193 1936- 1994c-086 20thcentury 415 509 510 511 515 700=aacr2 abstract algebra algebraiclogic algorithms analysemathématiquenonstandard analysis(philosophy) aristotle arithmetic artificialintelligence astrophysics automatictheoremproving bc135 bc50b198h1993 bertrand bf311s464p1985 biography boole boolean cantor carnap categorytheory causation circuits cognition combinatorialanalysis combinatória combiningsystems communication commutativeringsandalgebras compilers computablefunctions computationalcomplexity computationalintelligence computationallinguistics computer-assistedinstruction computergraphics computerlogic computers computerscience computersoftware congresses congrès contributionsinlogiculrici criticalthinking cylindricalgebras dataprocessing decisionmaking digitalcomputersystemsprogrammingapplicationsofmathematicallogic entailment(logic) etc famousproblems foundations frege frocos g gametheory general generalworks gentzen geometry georg george gerhard germany giuseppe gottlob grammar grouptheory grouptheoryandgeneralizations gödel hermann hilbert history hoene-wroński homologicalalgebra humanbehavior héritage immanuel incertitude(théoriedel'information) infinite informatique interpreters italy knowledge kurt languageandlanguages languageandliterature languageandlogic linguisticphilosophy linguistics logic logicalpositivism logicdesign logicprogramming logiquemathématique logiquesymboliqueetmathématique ludwig machinelearning machinetheory mathematical mathematicalanalysis mathematicalcomputing mathematicalfoundations mathematicallinguistics mathematicallogic mathematicallogicandfoundations mathematicalphysics mathematicalsoftware mathematicalstatistics mathematicians mathematics mathematischelogik mathsforcomputerscientists mathématiques methodology modeltheory modern mostowski natural naturallanguageprocessing numbertheory ontology outlines paradox parikh philosophie philosophy philosophyandscience philosophyofscience physics piaget pluralism poland predicate(logic) probabilities programminglanguages prooftheory quantumcomputing quantumgravity quantumtheory randomgraphs reason reasoning recursivefunctions rhetoric roboticsandautomation robots rohit science science/mathematics semantics semantics(philosophy) settheory softwareengineering sorting(electroniccomputers) spencer-brown structuralism superstringtheories syllabi syllogism symbolicandmathematicallogic systèmesexperts(informatique) textbooks theoryof thoughtandthinking théorie théoriepossibilité topology typetheory ulrici uncertainty(informationtheory) wittgenstein étudesdiverses