Stack Exchange
sign up | log in | chat | meta | about | faq

Mathematics
  • Questions
  • Tags
  • Tour
  • Users
  • Ask Question

Cookie Monster

less info
meta site favicon meta user | stack exchange network profile network profile
382 reputation
316
bio website
location
age
visits member for 2 years, 5 months
seen May 10 at 6:08
stats profile views 317

Dear All,

If you want raw timely information about what is cooking in our lab you can follow the following stream:

+Jekejeke Logic Programming

We have discontinued our Facebook, Linkedin and XING accounts and are now exclusively posting on Google+.

Have Fun
382 reputation
 bio website visits member for 2 years, 5 months
316 badges
 location seen May 10 at 6:08
summary answers questions tags badges favorites bounties reputation activity

13 Answers

newest activity votes
9
Prove that $\beta \rightarrow \neg \neg \beta$ is a theorem using standard axioms 1,2,3 and MP
3
How to compute the formula $\sum \limits_{r=1}^d r \cdot 2^r$?
2
Disjunction in Intuitionistic Logic, what about $((P \to U \lor V) \to Z)$
1
How do proof verifiers work?
0
Algorithm for GRG2 method of solving non-linear least square
0
Better compression for a positive DNF than via BDD
0
Antique handling of consequentia mirabilis?
0
How to show that this logical argument is valid?
0
Is there an intuitionistic proof of $\lnot p(a) \rightarrow p(b) \vdash \exists x p(x)$, what would Herbrand's Theorem say?
0
Contradiction Theorem
0
First order logic proof question
0
First order logic and higher order logics?
0
Has a Dependent Type always a Type?
about faq badges blog chat data legal privacy policy jobs advertising info mobile contact us feedback
Technology Life / Arts Culture / Recreation Science Other
  1. Stack Overflow
  2. Server Fault
  3. Super User
  4. Web Applications
  5. Ask Ubuntu
  6. Webmasters
  7. Game Development
  8. TeX - LaTeX
  1. Programmers
  2. Unix & Linux
  3. Ask Different (Apple)
  4. WordPress Answers
  5. Geographic Information Systems
  6. Electrical Engineering
  7. Android Enthusiasts
  8. IT Security
  1. Database Administrators
  2. Drupal Answers
  3. SharePoint
  4. User Experience
  5. Mathematica
  6. more (14)
  1. Photography
  2. Science Fiction & Fantasy
  3. Seasoned Advice (cooking)
  4. Home Improvement
  5. more (13)
  1. English Language & Usage
  2. Skeptics
  3. Mi Yodeya (Judaism)
  4. Travel
  5. Arqade (gaming)
  6. Bicycles
  7. Role-playing Games
  8. more (22)
  1. Mathematics
  2. Cross Validated (stats)
  3. Theoretical Computer Science
  4. Physics
  5. more (7)
  1. Stack Apps
  2. Meta Stack Overflow
  3. Area 51
  4. Stack Overflow Careers
site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required
rev 2013.5.17.690