Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
21 |
Material Type: Tese de Doutorado
|
![]() |
A lógica dos feixes sobre quantais right-sided e idempotentesConiglio, Marcelo EstebanBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1997-08-13Acesso online. A biblioteca também possui exemplares impressos. |
22 |
Material Type: Tese de Doutorado
|
![]() |
Contribuições à teoria dos grupos especiaisMariano, Hugo LuizBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2003-02-26Acesso online. A biblioteca também possui exemplares impressos. |
23 |
Material Type: Dissertação de Mestrado
|
![]() |
O resultado de AX e Kochen sobre uma conjectura de ArtinChristodoulou, StavrosBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1978-09-25Acesso online. A biblioteca também possui exemplares impressos. |
24 |
Material Type: Dissertação de Mestrado
|
![]() |
Aproximações de lógicas modaisRabello, Guilherme De SouzaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2005-03-29Acesso online. A biblioteca também possui exemplares impressos. |
25 |
Material Type: Tese de Doutorado
|
![]() |
O observador como parte da descriçãoPrandini, Joao CarlosBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1989-12-07Acesso online. A biblioteca também possui exemplares impressos. |
26 |
Material Type: Tese de Doutorado
|
![]() |
O forcing de fraisse : um estudo comparativoSette, A. M.Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1977-10-01Acesso online. A biblioteca também possui exemplares impressos. |
27 |
Material Type: Livro
|
![]() |
Sistemas formais inconsistentesN C A CostaCuritiba Universidade Federal do Parana 1993Item não circula. Consulte sua biblioteca.(Acessar) |
28 |
Material Type: Livro
|
![]() |
Simbolizacao no calculo de predicados 650 problemasLeônidas Hegenberg (Leônidas Helmuth Baebler), 1925-2012São Paulo EPU EDUSP c1976Localização: CDCC - Cent. Div. Científica e Cultural (511.3 H462s ) e outros locais(Acessar) |
29 |
Material Type: Livro
|
![]() |
Elementos de lógica teóricaDavid Hilbert 1862-1943 Víctor Sánchez de Zavala; W Ackermann 1896- (Wilhelm)Madrid Ed. Tecnos 1962Localização: ICMC - Inst. Ciên. Mat. Computação (03B01 H641e ) e outros locais(Acessar) |
30 |
Material Type: Livro
|
![]() |
Deducao no calculo de predicadosLeônidas Hegenberg (Leônidas Helmuth Baebler), 1925-2012São Paulo EPU EDUSP c1978Localização: CDCC - Cent. Div. Científica e Cultural (511.3 H462d ) e outros locais(Acessar) |