Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!border-2.nntp.ord.giganews.com!nntp.giganews.com!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 21 Feb 2024 05:29:34 +0000
Subject: Re: Herbrand logic
Newsgroups: sci.logic
References: <81ac3aa3-c0c4-40a7-9ca5-29084dacf70en@googlegroups.com>
<6c7ab8a3-3ff8-4805-82df-fb8f1bf36c91n@googlegroups.com>
<a9de20d5-57c2-4db7-9c73-ec31abae93cen@googlegroups.com>
<50b2088b-f5d2-48fd-840b-25e49d017ba4n@googlegroups.com>
<5f5c2744-393c-4b45-8cac-88181df83968n@googlegroups.com>
<b029e1ee-1012-447c-8ad4-5cdbe62f2ae3n@googlegroups.com>
<58b1e3d2-3c97-43d3-94dd-9c53bd6cb313n@googlegroups.com>
<045da455-d56d-40ec-9463-ef0c8c7a366bn@googlegroups.com>
<56b0a3b7-f8f8-4320-a70b-15016d09d673n@googlegroups.com>
From: ross.a.f...@gmail.com (Ross Finlayson)
Date: Tue, 20 Feb 2024 21:29:46 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <56b0a3b7-f8f8-4320-a70b-15016d09d673n@googlegroups.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <lN2dnXsUU6WjF0j4nZ2dnZfqn_WdnZ2d@giganews.com>
Lines: 5
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-nftfQHiLd5OkxGqOBN0T1UZvVbELoj1LsVytYmA4eueCglgWekCAZznXPhAQXAnLZCnl2aRk2Cxbaxg!P5pJZjr4ThoAxAPuWfUqFzW1D3NYdKA2HnyLc8XvAyps8qZy5UyfuvBaff6PzivAOkueLfSlaOQr
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40

Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!feeder.usenetexpress.com!tr3.iad1.usenetexpress.com!69.80.99.22.MISMATCH!Xl.tags.giganews.com!local-2.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 21 Feb 2024 17:59:41 +0000
Subject: Re: Herbrand logic
Newsgroups: sci.logic
References: <81ac3aa3-c0c4-40a7-9ca5-29084dacf70en@googlegroups.com> <6c7ab8a3-3ff8-4805-82df-fb8f1bf36c91n@googlegroups.com> <a9de20d5-57c2-4db7-9c73-ec31abae93cen@googlegroups.com> <50b2088b-f5d2-48fd-840b-25e49d017ba4n@googlegroups.com> <5f5c2744-393c-4b45-8cac-88181df83968n@googlegroups.com> <b029e1ee-1012-447c-8ad4-5cdbe62f2ae3n@googlegroups.com> <58b1e3d2-3c97-43d3-94dd-9c53bd6cb313n@googlegroups.com> <045da455-d56d-40ec-9463-ef0c8c7a366bn@googlegroups.com> <56b0a3b7-f8f8-4320-a70b-15016d09d673n@googlegroups.com> <lN2dnXsUU6WjF0j4nZ2dnZfqn_WdnZ2d@giganews.com>
From: ross.a.f...@gmail.com (Ross Finlayson)
Date: Wed, 21 Feb 2024 09:59:42 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <lN2dnXsUU6WjF0j4nZ2dnZfqn_WdnZ2d@giganews.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <r4ednYsj9-SQp0v4nZ2dnZfqn_WdnZ2d@giganews.com>
Lines: 6
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-cyJhowjjk3Sf4Ni7wnKNiNn7hstYjCubecoJU8Qv0cGHO9S6sy9Ge7y+maAH8kRtLx0mWMbr7aTKCu/!jH+PKHQV63AaiuTy1bOE36s+pbFK+qZ9ZqiD1eqw5skR+EKWtOHwGd6sSBV+cYjbDjKT0XOFIrTe
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40