en
511.3 Mathematical logic (Symbolic logic)
511.36 Proof theory and constructive mathematics
511.36028563 Automatic theorem proving
Dewey Decimal Classification
Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License by OCLC Online Computer Library Center, Inc. Permissions beyond the scope of this license may be available at here. All copyright rights in the Dewey Decimal Classification system are owned by OCLC. Dewey, Dewey Decimal Classification, DDC, OCLC and WebDewey are registered trademarks of OCLC.