Path: news.daimi.aau.dk!news.uni-c.dk!sunic!sunic.sunet.se!news.funet.fi!news.eunet.fi!EU.net!uknet!ftel.co.uk!bham!not-for-mail
From: ben5591l@uel.ac.UK (Alex Benigni)
Newsgroups: comp.lang.ada,comp.lang.beta,comp.lang.lisp,
Subject: Mathematical proving !
Date: 23 May 1995 17:10:05 +0100
Organization: University Of East London
Lines: 11
Sender: mail2news@sun4.bham.ac.uk
Message-ID: <17AFF2431E@bkstud1.uel.ac.uk>
Reply-To: ben5591l@uel.ac.uk
NNTP-Posting-Host: sun4.bham.ac.uk
Xref: news.daimi.aau.dk comp.lang.ada:28353 comp.lang.beta:400 comp.lang.lisp:16347

comp.lang.prolog

Could any1 please tell me where to find help on mathematical proving. 
I'd like to find info on the net. VDM, Z, anything. 
Thanks in advance

Alex