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

Your cart is empty.

Your search returned 5 results. Subscribe to this search

|
No cover image available
A formulation of the simple theory of types / Alonzo church Book Publication [S. l. : s. n.], 1940
 Description p. 56-68 ; 25 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Reference (1).

Add to cart
No cover image available
Carnap's introduction to semantics / Alonzo Church Book Publication [S.l. : s.n.], 1943
 Description p. 298-304 ; 24 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Reference (1).

Add to cart
No cover image available
Conditioned disjunction as a primitive connective for the propositional calculus / by Alonzo Church Book Publication [S. l. : s. n.], 1948
 Description p. 87-90 ; 24 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Reference (1).

Add to cart
No cover image available
Introduction to mathematical logic : volume I= I / Alonzo Church Book Publication Princeton : Princeton University Press, 1956
 Description IX + 378 p. LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

Place hold Add to cart
No cover image available
Reviews / Alonzo Church Book Publication [S. l. : s. n.], cop. 1943
 Description p. 45-48 ; 26 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Reference (1).

Add to cart