Хорошо быть умным!

Jul 28, 2008 10:52




 x F(x) ->
 x F(x)

!( (
 x F(x) -> B) -> (
 x F(x) -> B) )

логика, философия

Previous post Next post
Up