Biblioteca da Faculdade de Ciências Sociais e Humanas da Universidade NOVA de Lisboa

Your cart is empty.

Your search returned 3 results. Subscribe to this search

|
An introduction to mathematical logic and type theory : to truth through proof / by Peter B. Andrews Book Publication Dordrecht : Kluwer Academic Publishers, cop. 2002
 Description xviii, 390 p. ; 25 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

Place hold Add to cart
Proof theory of modal logic / edited by Heinrich Wansing Book Publication Dordrecht : Kluwer Academic Publishers, 1996
 Description x, 317 p. : il. ; 25 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

Place hold Add to cart
What is Negation? / edited by Dov M. Gabbay and Heinrich Wansing Book Publication Dordrecht : Kluwer Academic Publishers, 1996
 Description xi, 333 p. : il. ; 25 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

Place hold Add to cart