Well-structured mathematical logic /
Saved in:
Main Authors: | |
---|---|
Published: |
Carolina Academic Press,
|
Publisher Address: | Durham, North Carolina : |
Publication Dates: | [2013] |
Literature type: | Book |
Language: | English |
Subjects: | |
Carrier Form: | xix, 269 pages ; 29 cm |
Bibliography: | Includes bibliographical references (pages 264-265) and index. |
ISBN: |
9781611633689 : 1611633680 |
Index Number: | QA9 |
CLC: | O141 |
Call Number: | O141/S425 |
Contents: | New formal linguistics -- Establisment of the context-oriented language for mathematics -- Fundamentals of context-oriented mathematical logic -- Development of rules of inference for the new system -- Structure of deduction and proof in the new system -- Epilogue. |