A course on mathematical logic
Preface -- Syntax of first order logic -- Semantics of first-order languages -- Propositional logic -- Proof and metatheorems in first-order logic -- Completeness theorem and model theory -- Recursive functions and arithmetization of theories -- Incompleteness theorems and recursion theory -- Refere...
Saved in:
Main Author: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Springer
2017
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/28189 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | English |