Home›Logic and Foundations›Proved By (Other Fields)›Neil ImmermanBrowse ByNeil ImmermanFactsNeil ImmermanSourcesComments (0)Reader Challenges (0)FactsComparisonEra Of EmergenceWell-attested1850 1Neil ImmermanFilter Results1 entryBranchAllComputational Complexity Theory (1)Topic AreaAllComputability and Complexity Theory (1)ProvedAll1987 (1)Statement FormAllEquation (1)Identity (1)Inequality (1)Show ResultsImmerman-Szelepcsenyi TheoremNeil ImmermanSources1. Mathematical Logic (Wikipedia)tier 2Wikimedia FoundationHistory sectionQuote, History sectionMathematical logic emerged in the mid-19th century as a subfield of mathematics, reflecting the confluence of two traditions: formal philosophical logic and mathematics.View the SourceComments (0)No comments yet. Be the first to share a thought.Sign in to join the discussion.Reader Challenges (0)No disputes yet. Spotted an error or a better source? Open the first one.Sign in to dispute this or suggest a correction.