Re: What is this group (was Test)

Article View: comp.specification.z

Article #116

Back to comp.specification.z Previous Next

#116

From: Charles Herrick
Date: Thu, 27 Jun 1991 14:36

12 lines
1136 bytes

In article <1991Jun27.042414.7381@mlb.semi.harris.com> john@mintaka.mlb.semi.harris.com (John M. Blasik) writes:
   Z, based on set theory and first
   order predicate logic, has been developed [... non-descriptive
   historical treatise deleted ...]

Please elaborate, I don't understand the synopsis! (Of course, in that
case, perhaps it's none of my business...) [;-}

--
"I am walking on the wire
 and the wire is what the whole thing is about."
 -- John Stewart

Technical Details

Message-ID: <CNH5730.91Jun27093615@calvin.tamu.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!spool.mu.edu!sdd.hp.com!cs.utexas.edu!helios!cnh5730

References: <2161@uqcspe.cs.uq.oz.au> <richard.677975691@mungarra> <1991Jun27.042414.7381@mlb.semi.harris.com>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!spool.mu.edu!sdd.hp.com!cs.utexas.edu!helios!cnh5730
From: cnh5730@calvin.tamu.edu (Charles Herrick)
Newsgroups: comp.specification.z
Subject: Re: What is this group (was Test)
Message-ID: <CNH5730.91Jun27093615@calvin.tamu.edu>
Date: 27 Jun 91 14:36:15 GMT
References: <2161@uqcspe.cs.uq.oz.au> <richard.677975691@mungarra>
 <1991Jun27.042414.7381@mlb.semi.harris.com>
Sender: usenet@helios.TAMU.EDU
Organization: Texas A&M University
Lines: 12
In-reply-to: john@mintaka.mlb.semi.harris.com's message of 27 Jun 91 04:24:14 GMT

Reply to Parent Message