[TYPES] non-constuctive proofs

Jean Gallier jean at cis.upenn.edu
Fri Aug 21 19:18:26 EDT 2009

Previous message: [TYPES] teaching discrete math and logic to undergraduates
Next message: [TYPES] non-constuctive proofs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Thanks Prakash!

By the way, I  reveal the a= sqrt{2}  and b = log_2 9 trick on page  
51 of my notes!

Best,
-- Jean

Previous message: [TYPES] teaching discrete math and logic to undergraduates
Next message: [TYPES] non-constuctive proofs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-list mailing list