Your search returned 8 results. Subscribe to this search

|
Foundations without foundationalism : a case for second-order logic / Stewart Shapiro Book Publication Oxford : Claredon Press, 2001
Description xxii, 277 p. ; 24 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

A study of logics / John P. Cleave Book Publication Oxford : Claredon Press, 1991
Description 417 p. ; 24 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

Diagonalization and self-reference / Raymond M. Smullyan Book Publication Oxford : Claredon Press, 1996
Description 396 p. ; 24 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

Set theory with a universal set : exploring an untyped universe / T.E. Forster Book Publication Oxford : Claredon Press, imp. 2002
Description x, 166 p. : il. ; 24 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

Gödel's incompleteness theorems / Raymond M. Smullyan Book Publication Oxford : Claredon Press, 1992
Description 139 p. ; 24 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

Introduction to logic and to the methodology of deductive sciences / by Alfred Tarski ; fourth edition by Jan Tarski Book Publication New York : Oxford University Press, 1994
Description xxii, 229 p. ; 24 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (2).

Modal logic / Alexander Chagrov and Michael Zakharyaschev Book Publication Oxford : Claredon Press, 1997
Description xv, 605 p. ; 24 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

Recursion theory for metamathematics / Raymond M. Smullyan Book Publication Oxford : Claredon Press, 1993
Description 163 p. ; 24 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).