Article View: alt.pl.fan.trzypion
Article #15009Re: BP NMSP ;)
From: Bartosz Marganiec
Date: Thu, 20 May 2004 22:17
Date: Thu, 20 May 2004 22:17
11 lines
2133 bytes
2133 bytes
Nikita <nikita_5@poczta.onet.pl> wrote: > (( [istnieje]x K(x)^T(x)^(~[istnieje]x T(x)^B(x)))=>[dla każdego]x > B(x)=>W(x)) Eee tam, i tak tego nie rozumiem i nie zrozumiem ;-P -- Pozdrawiam, Bartosz 'Lucek' Marganiec GG: 219708; @: bartekm(at)sadyba(dot)elartnet(dot)pl /To know recursion, you must first know recursion./
Technical Details
Message-ID:
<slrn.pl.caqbkq.g0r.bartekm@lucek.news>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.onet.pl!not-for-mailReferences:
<c8cths$bu4$1@news.onet.pl> <c1.01.2rMnFs$3Uq@trzypion.oldfield.org.pl> <c8dto0$k6n$2@news.onet.pl> <c1.01.2rNByJ$3W9@trzypion.oldfield.org.pl> <c8fkec$qmo$1@news.onet.pl> <c1.01.2rNGtt$3WR@trzypion.oldfield.org.pl> <c8fokd$k1s$1@news.onet.pl> <c1.01.2rNJDC$3Wa@trzypion.oldfield.org.pl> <c8fr15$slf$1@news.onet.pl> <slrn.pl.can3qs.m1i.bartekm@lucek.news> <c8g6l6$roa$2@shodan.interia.pl> <c1.01.2rNPg9$3Ws@trzypion.oldfield.org.pl> <slrn.pl.can8s8.md0.bartekm@lucek.news> <c1.01.2rNQvg$3X5@trzypion.oldfield.org.pl> <slrn.pl.canc2d.mf9.bartekm@lucek.news> <c1.01.2rNRQF$3XD@trzypion.oldfield.org.pl> <slrn.pl.canh2v.mgj.bartekm@lucek.news> <c1.01.2rNTCt$3XH@trzypion.oldfield.org.pl> <slrn.pl.cania1.mho.bartekm@lucek.news> <c8gida$g8k$1@news.onet.pl> <slrn.pl.canjco.mim.bartekm@lucek.news> <c8ivui$hku$1@news.onet.pl> <slrn.pl.caq1bp.n9i.bartekm@lucek.news> <c8j1ni$jn9$1@news.onet.pl> <slrn.pl.caq394.nc9.bartekm@lucek.news> <c8jadr$kn7$1@news.onet.pl>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.onet.pl!not-for-mail From: Bartosz Marganiec <bartekm@USUNTOsadyba.elartnet.pl> Newsgroups: alt.pl.fan.trzypion Subject: Re: BP NMSP ;) Date: 20 May 2004 22:17:07 GMT Organization: Alamakota Lines: 11 Sender: bmarganiec@poczta.onet.pl@62.233.196.159 Message-ID: <slrn.pl.caqbkq.g0r.bartekm@lucek.news> References: <c8cths$bu4$1@news.onet.pl> <c1.01.2rMnFs$3Uq@trzypion.oldfield.org.pl> <c8dto0$k6n$2@news.onet.pl> <c1.01.2rNByJ$3W9@trzypion.oldfield.org.pl> <c8fkec$qmo$1@news.onet.pl> <c1.01.2rNGtt$3WR@trzypion.oldfield.org.pl> <c8fokd$k1s$1@news.onet.pl> <c1.01.2rNJDC$3Wa@trzypion.oldfield.org.pl> <c8fr15$slf$1@news.onet.pl> <slrn.pl.can3qs.m1i.bartekm@lucek.news> <c8g6l6$roa$2@shodan.interia.pl> <c1.01.2rNPg9$3Ws@trzypion.oldfield.org.pl> <slrn.pl.can8s8.md0.bartekm@lucek.news> <c1.01.2rNQvg$3X5@trzypion.oldfield.org.pl> <slrn.pl.canc2d.mf9.bartekm@lucek.news> <c1.01.2rNRQF$3XD@trzypion.oldfield.org.pl> <slrn.pl.canh2v.mgj.bartekm@lucek.news> <c1.01.2rNTCt$3XH@trzypion.oldfield.org.pl> <slrn.pl.cania1.mho.bartekm@lucek.news> <c8gida$g8k$1@news.onet.pl> <slrn.pl.canjco.mim.bartekm@lucek.news> <c8ivui$hku$1@news.onet.pl> <slrn.pl.caq1bp.n9i.bartekm@lucek.news> <c8j1ni$jn9$1@news.onet.pl> <slrn.pl.caq394.nc9.bartekm@lucek.news> <c8jadr$kn7$1@news.onet.pl> NNTP-Posting-Host: 62.233.196.159 Mime-Version: 1.0 X-Trace: news.onet.pl 1085091427 7780 62.233.196.159 (20 May 2004 22:17:07 GMT) X-Complaints-To: abuse@onet.pl NNTP-Posting-Date: 20 May 2004 22:17:07 GMT X-Hamster-Trace: localhost 1085091427 880 10.1.136.55 (2 370 2004.05.20 22:17:06) X-Licznik: 678 User-Agent: slrn/0.9.7.4 (pl-1.4.3) (Linux/2.6.4 (i686)) Hamster/2.0.2.2 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit