Article citationsMore>>

Andrews, P.B. (2002) An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. 2nd Edition, Kluwer Academic Publishers, Boston. http://dx.doi.org/10.1007/978-94-015-9934-4

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top