skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Subsystems of Second Order Arithmetic
Subsystems of Second Order Arithmetic
Material Type:
Livro
Adicionar ao Meu Espaço

Subsystems of Second Order Arithmetic

Stephen George Simpson Association for Symbolic Logic.

Cambridge University Press 2009

Acesso online. A biblioteca também possui exemplares impressos.

2
Logic Colloquium 2006
Logic Colloquium 2006
Material Type:
Livro
Adicionar ao Meu Espaço

Logic Colloquium 2006

Logic Colloquium S. Barry Cooper; Herman Geuvers; Anand Pillay; Jouko Väänänen Anand Pillay Herman Geuvers Jouko Väänänen; Association for Symbolic Logic.

Cambridge University Press 2009

Acesso online. A biblioteca também possui exemplares impressos.

3
Collected works
Material Type:
Livro
Adicionar ao Meu Espaço

Collected works

Kurt Gödel 1906-1978 Solomon Feferman; Association for Symbolic Logic

Oxford Oxford University Press New York 2001

Localização: EPBC - Esc. Politécnica-Bib Central    (510.6 G542c v.2 ) e outros locais(Acessar)

4
Material Type:
Livro
Adicionar ao Meu Espaço

The theory of models proceedings

International Symposium on the Theory of Models (1963 : Berkeley, California) J. W Addison (John West) 1930-; Leon Henkin; Alfred Tarski; University of California, Berkeley; Association for Symbolic Logic; International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science

Amsterdam North-Holland Publishing Company 1965

Localização: ICMC - Inst. Ciên. Mat. Computação    (03-01 T393 e.2 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (2)

Buscando em bases de dados remotas. Favor aguardar.