A Concise Introduction to Mathematical Logic - Universitext
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer New York

9780387302942

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Foundations of Logic Programming

A Concise Introduction to Mathematical Logic - Universitext ◽

10.1007/0-387-34241-9_4 ◽

2006 ◽

pp. 105-130

Keyword(s):

Logic Programming

Download Full-text

Propositional Logic

A Concise Introduction to Mathematical Logic - Universitext ◽

10.1007/0-387-34241-9_1 ◽

2006 ◽

pp. 1-32

Keyword(s):

Propositional Logic

Download Full-text

On the Theory of Self-Reference

A Concise Introduction to Mathematical Logic - Universitext ◽

10.1007/0-387-34241-9_7 ◽

2006 ◽

pp. 209-230

Keyword(s):

Download Full-text

Incompleteness and Undecidability

A Concise Introduction to Mathematical Logic - Universitext ◽

10.1007/0-387-34241-9_6 ◽

2006 ◽

pp. 167-208

Download Full-text

Gödel’s Completeness Theorem

A Concise Introduction to Mathematical Logic - Universitext ◽

10.1007/0-387-34241-9_3 ◽

2006 ◽

pp. 71-104

Keyword(s):

Completeness Theorem ◽

Gödel’S Completeness Theorem

Download Full-text

Predicate Logic

A Concise Introduction to Mathematical Logic - Universitext ◽

10.1007/0-387-34241-9_2 ◽

2006 ◽

pp. 33-70

Keyword(s):

Predicate Logic

Download Full-text

Elements of Model Theory

A Concise Introduction to Mathematical Logic - Universitext ◽

10.1007/0-387-34241-9_5 ◽

2006 ◽

pp. 131-166

Keyword(s):

Download Full-text