Logic

``Contrariwise,'' continued Tweedledee, ``if it was so, it might be;
and if it were so, it would be; but as it isn't, it ain't.
That's logic.''

--------------------------- Lewis Carroll

• Dictionary Definition of `Logic'
  
  
• Mathematical Logic Interests At University of Delaware:
  
  • John Case's Home Page
    
  • Dan Chester's Home Page
    
  • K Vijayashanker's Home Page
    
    
  • Logic or Computability Courses:
    • CISC 301 Elements of Logic and Automata
      
    • CISC 401 Elements of the Theory of Computation
      
    • CISC 404 Logic in Computer Science
      
    • CISC 601 Elements of the Theory of Computation
      
    • CISC 604 Logic in Computer Science
      
    • CISC 801 Recursive Function Theory
      
    • CISC 805 Theory of Machine Learning
      
      
  • Mathematical Logic Links Worldwide
    
    
  • Recursion/Computability Theory Home Page
    
    
  • Foundations of Mathematics Discussion Page
    
    
  • Association for Symbolic Logic
    
    

  ---

  
  
  • John Case's Research Page
    
    Glimpse Search JC's Pages on www.cis.udel.edu:
  • JC's Links Page on www.udel.edu
    
  • JC's Site Map
    
  • JC's Other Places to Look
    
  • case@cis.udel.edu
    
  • UD's CIS Department's Homepage
    
  • UD's Cognitive Science Homepage
    
  • UD's Homepage