Screen LibraryWell-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. |