A Course on Mathematical Logic
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer New York

9780387762753, 9780387762777

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Incompleteness Theorems and Recursion Theory

A Course on Mathematical Logic ◽

10.1007/978-0-387-76277-7_7 ◽

2008 ◽

pp. 107-134

Keyword(s):

Recursion Theory ◽

Incompleteness Theorems

Propositional Logic

A Course on Mathematical Logic ◽

10.1007/978-0-387-76277-7_3 ◽

2008 ◽

pp. 29-44

Keyword(s):

Propositional Logic

Completeness Theorem and Model Theory

A Course on Mathematical Logic ◽

10.1007/978-0-387-76277-7_5 ◽

2008 ◽

pp. 65-81

Keyword(s):

Model Theory ◽

Completeness Theorem

Proof and Metatheorems in First-Order Logic

A Course on Mathematical Logic ◽

10.1007/978-0-387-76277-7_4 ◽

2008 ◽

pp. 45-64

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order

Semantics of First-Order Languages

A Course on Mathematical Logic ◽

10.1007/978-0-387-76277-7_2 ◽

2008 ◽

pp. 15-28

Keyword(s):

First Order

Syntax of First-Order Logic

A Course on Mathematical Logic ◽

10.1007/978-0-387-76277-7_1 ◽

2008 ◽

pp. 1-14

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order

Recursive Functions and Arithmetization of Theories

A Course on Mathematical Logic ◽

10.1007/978-0-387-76277-7_6 ◽

2008 ◽

pp. 83-106

Keyword(s):

Recursive Functions