Re: AUDA (references)

From: Marchal <marchal.domain.name.hidden>
Date: Thu Jan 3 03:54:17 2002

Hereby the complete reference of the two books I suggest.
The first one is a gentle introduction to logic, and the second
one is in between Jeffrey's one and Boolos 1993.


JEFFREY Richard, "Formal Logics Its Scope and Limits" McGraw-Hill Book
             Company, 1967 (1981 second edition).

BOOLOS G. and JEFFREY R., "Computability and Logic" Cambridge University
Press,
             1974, (1989 third edition).


To be honest this gives one half of the logic needed for the AUDA.
The other half is QUANTUM LOGIC and its modal translation by Goldblatt.
An intro to quantum logic is given at

      http://lagrange.uni-paderborn.de/~ziegler/qlogic.html


Bruno
Received on Thu Jan 03 2002 - 03:54:17 PST

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:07 PST