Computability and Logic
Latest Publications

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Cambridge University Press

9780521809757, 9780521007580, 9781139164931

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Uncomputability

Computability and Logic ◽

10.1017/cbo9781139164931.005 ◽

2002 ◽

pp. 35-44

Download Full-text

Diagonalization

Computability and Logic ◽

10.1017/cbo9781139164931.003 ◽

2002 ◽

pp. 16-22

Download Full-text

Monadic and Dyadic Logic

Computability and Logic ◽

10.1017/cbo9781139164931.022 ◽

2002 ◽

pp. 270-278

Download Full-text

The Undecidability of First-Order Logic

Computability and Logic ◽

10.1017/cbo9781139164931.012 ◽

2002 ◽

pp. 126-136

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

Second-Order Logic

Computability and Logic ◽

10.1017/cbo9781139164931.023 ◽

2002 ◽

pp. 279-285

Keyword(s):

Second Order ◽

Order Logic ◽

Second Order Logic

Download Full-text

The Craig Interpolation Theorem

Computability and Logic ◽

10.1017/cbo9781139164931.021 ◽

2002 ◽

pp. 260-269

Keyword(s):

Interpolation Theorem ◽

Craig Interpolation

Download Full-text

Indefinability, Undecidability, Incompleteness

Computability and Logic ◽

10.1017/cbo9781139164931.018 ◽

2002 ◽

pp. 221-232

Download Full-text

Recursive Functions

Computability and Logic ◽

10.1017/cbo9781139164931.007 ◽

2002 ◽

pp. 63-72

Keyword(s):

Recursive Functions

Download Full-text

Models

Computability and Logic ◽

10.1017/cbo9781139164931.013 ◽

2002 ◽

pp. 137-152

Download Full-text

A Précis of First-Order Logic: Syntax

Computability and Logic ◽

10.1017/cbo9781139164931.010 ◽

2002 ◽

pp. 101-113

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text