🚀 go-pugleaf

Re: Theorem Provers for Temporal Logic
By: jps@cat.cmu.edu on Mon, 10 Jul 1989 01:41

Theorem Provers for Temporal Logic
By: kropf@i81s1.ira. on Fri, 07 Jul 1989 15:56

Re: Clarification of QL comment.
By: steve@hubcap.cle on Fri, 16 Jun 1989 12:48

Re: a logic|vocabulary appropriate to the problem (modal logic and mathematics.)
By: lee@uhccux.uhcc. on Thu, 15 Jun 1989 18:44

Re: modal logic and mathematics.
By: jack@cs.glasgow. on Wed, 14 Jun 1989 17:13

Conference on Predication
By: rapaport@cs.Buff on Fri, 09 Jun 1989 15:21

existence [was: Re: fake stuff (was: Re: Goedel, Boolos)]
By: flash@cs.qmc.ac. on Sat, 27 May 1989 12:18

Looking for Conferences Down Under
By: dwights@ogccse.o on Thu, 25 May 1989 16:34

formalism again (was: Re: Platonic sets and CH)
By: flash@cs.qmc.ac. on Thu, 25 May 1989 13:17

Re: Questions in Formal Language Theory
By: simon@tartarus.u on Wed, 24 May 1989 22:02

complexity question
By: gottlob@vexpert. on Wed, 24 May 1989 11:45

Re: abduction vs. induction
By: flach@kubix.UUCP on Wed, 24 May 1989 07:56

Re: fake stuff (was: Re: Goedel, Boolos)
By: oliver@sonia.mat on Sun, 21 May 1989 00:47

Re: abduction vs. induction
By: vdasigi@silver.w on Fri, 19 May 1989 22:00

Re: Questions in Formal Language Theory
By: schenke@cpsc.uca on Fri, 19 May 1989 04:36

Re: abduction vs. induction
By: rayt@cognos.UUCP on Fri, 19 May 1989 01:53

Re: Questions in Formal Language Theory
By: styer@pyr.gatech on Thu, 18 May 1989 21:23

Questions in Formal Language Theory
By: ramesh@linc.cis. on Thu, 18 May 1989 18:04

Re: abduction vs. induction
By: punch@melon.cis. on Wed, 17 May 1989 16:39

Re: abduction vs. induction
By: sarrett@ics.uci. on Wed, 17 May 1989 15:22

abduction vs. induction
By: marquis@crin.cri on Wed, 17 May 1989 02:19

Looking for article by Wolper, Vardi & Sistla
By: hans@lfcs.ed.ac. on Fri, 12 May 1989 20:07

Buffalo Cog Sci / Nicholas Asher
By: rapaport@cs.Buff on Mon, 24 Apr 1989 19:03

Montague's papers
By: masini@crin.crin on Tue, 18 Apr 1989 19:32

Montague's papers
By: masini@crin.crin on Sun, 16 Apr 1989 23:16

Parallel Simulated Annealing / References and Are You Doing It?
By: dgreen@squid.cs. on Thu, 13 Apr 1989 23:14

SUNY Buffalo Logic Colloquium
By: rapaport@cs.Buff on Mon, 03 Apr 1989 18:16

inductive reducibility
By: maria@theo.uucp on Sat, 25 Mar 1989 12:29

Second call for votes on sci.edu newsgroup
By: lvc@tut.cis.ohio on Fri, 24 Mar 1989 21:58

Symposium on Chaos Theory and Computer Design
By: alien@cpoint.UUC on Fri, 16 Dec 1988 02:29

Re: Help support our scientific colleagues in the Soviet Union
By: dlbedws@datlog.c on Mon, 05 Dec 1988 11:18

Re: Letter to Gorbachev
By: plaice@uvicctr.U on Wed, 30 Nov 1988 19:43

Help support our scientific colleagues in the Soviet Union
By: plaice@uvicctr.U on Wed, 30 Nov 1988 19:35

SUNY Buffalo Logic Colloquium: Nelson
By: rapaport@cs.Buff on Wed, 19 Oct 1988 20:54

SUNY Buffalo Philosophy Colloquium
By: rapaport@cs.Buff on Tue, 18 Oct 1988 15:18

SUNY Buffalo Logic Colloquium: Goodman/Math of Nature
By: rapaport@cs.Buff on Thu, 29 Sep 1988 14:42

SUNY Buffalo Logic Colloquium: Goedel
By: rapaport@cs.Buff on Tue, 20 Sep 1988 18:51

Logic courseware for the Mac
By: barwise@csli.STA on Tue, 09 Aug 1988 20:40

Turing's World vs. the ATMS
By: jack@cs.glasgow. on Fri, 01 Jul 1988 15:17

Philosophy & Computers Conference
By: rapaport@sunybcs on Mon, 20 Jun 1988 17:16

Re: Free Will, Quantum computers, determinism, randomness, modelling Re: Free Will, Quantum computers, determinism, randomness, modelling
By: rmpinchback@croc on Mon, 23 May 1988 20:16

Free Will, Quantum computers, determinism, randomness, modelling
By: biep@cs.vu.nl (J on Mon, 09 May 1988 19:13

Fermats Last Theorem
By: degen@faui44.UUC on Wed, 04 May 1988 11:26

Re: Quantum computers outperform Turing machines (was Re: Fermat ...)
By: jack@cs.glasgow. on Fri, 22 Apr 1988 11:27

British Association of Logicians
By: jack@cs.glasgow. on Mon, 18 Apr 1988 10:37

Re: Wanted: "Introduction to Metamathematics"
By: carroll@cars.rut on Thu, 07 Apr 1988 03:41

Wanted: "Introduction to Metamathematics"
By: cline@THEORY.CS. on Tue, 05 Apr 1988 20:52