ENGLISH

A course on mathematical logic

By Srivastava , Shashi Mohan

Book information

Publisher
Springer
Year
2008
ISBN
978-0-387-76277-7, 0387762779, 978-0-387-76275-3
Language
english
Format
PDF
Filesize
908 kB (930273 bytes)
Series
Universitext (En ligne)
Pages
140\150
Time added
2019-09-24 23:53:44
LogicSymbolic and mathematical;Logique symbolique et ma

Description

Content: 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.- References.- Index

Similar books