An Axiomatic System Suggested by Quantum Computation | UPT Perpustakaan UHAMKA