Resultados de 1 a 10 de 100 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Beweistheorie.K. Schütte (Kurt)Berlin, Springer 1960Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (511.3 S396b ) e outros locais(Acessar) |
| 2 |
Material Type: Livro
|
|
Basic proof theoryAnne Sjerp Troelstra H Schwichtenberg; Helmut Schwichtenberg; A. S Troelstra; S Abramsky; P. H Aczel; J. W. de Bakker; Y Gurevich; J. V Tucker; C. J Van RijsbergenCambridge University Press 2000Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Livro
|
|
Methods of Cut-EliminationMatthias Baaz Alexander LeitschSpringer Netherlands 2011Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Livro
|
|
Les fondements des mathématiques; intuitionnisme, théorie de la démonstrationA. Heyting 1898- (Arend)Paris Gauthier-Villars 1955Localização: IF - Instituto de Física (510.1 H621f ) e outros locais(Acessar) |
| 5 |
Material Type: Livro
|
|
Logic for Concurrency and SynchronisationRuy J. G. B. de Queiroz Ruy J. G. B. de QueirozDordrecht Springer Netherlands 2003Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Livro
|
|
Selected papers in proof theoryG. E. MinëtìsNapoli Bibliopolis Amsterdam New York North-Holland c1992Localização: IME - Inst. Matemática e Estatística (QA10.1 M667s ) e outros locais(Acessar) |
| 7 |
Material Type: Livro
|
|
La Non-contradiction de l'arithmétiqueJean Cavaillès 1903-1944Paris Hermann 1938Localização: IME - Inst. Matemática e Estatística COLEÇÃO OBRAS ESPECIAIS (OB/ESP QA10.1 C376n )(Acessar) |
| 8 |
Material Type: Livro
|
|
Verification interactive de demonstrations mathematiquesGeorges KiremitdjianOrsay Universite Paris Xi 19-?Localização: IME - Inst. Matemática e Estatística (QA10.1 K58v )(Acessar) |
| 9 |
Material Type: Livro
|
|
Mathematical proofs a transition to advanced mathematicsGary Chartrand Albert D Polimeni 1938-; Ping Zhang 1957-Boston Addison Wesley c2003Localização: FEARP - Fac. Econ. Adm. Cont. de R. Preto (51 C486m )(Acessar) |
| 10 |
Material Type: Livro
|
|
Handbook of proof theorySamuel BussAmsterdam Elsevier 2005Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (511.3 H236 )(Acessar) |
Resultados de 1 a 10 de 100 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Tipo de Recurso
- Livros (81)
- Artigos (14)
- Produções Acadêmicas (4)
- Produções Artísticas (1)
-
Mais opções
Assunto
- Teoria Da Demonstração (71)
- Lógica Matemática (52)
- Proof Theory (40)
- Logic, Symbolic And Mathematical (20)
- Lógica Matemática (Congressos) (10)
- Teoria Da Demonstração (Congressos) (9)
- Teoria Descritiva Dos Conjuntos (Congressos) (8)
- Teoria Da Recursão (Congressos) (8)
- Mathematical Logic (8)
- Teoria Dos Modelos (Congressos) (8)
- Matemática (8)
- Demonstração Financeira (7)
- Mathematics (7)
- Teoria Dos Conjuntos (Congressos) (6)
- Beweistheorie (5)
- Lógica Modal (5)
- Teoria Dos Conjuntos (5)
- Teorema De Godel’s (5)
- Filosofia Da Matemática (5)
- Teoria Dos Jogos (5)
- Algebra (3)
- Bm&fbovespa (2)
- Performance Indicators (2)
- Teoria Da Agência (2)
- Demonstração Do Valor Adicionado (2)
- Indicadores De Desempenho (2)
- Bevisføring (2)
- Matematikk (2)
- Teoria De Vigotski (2)
- Added Value Statement (2)
- Argumentation (2)
- Agency Theory (2)
- Atividades De Demonstração (2)
- Ensino De Física (2)
- Lógica Matemática (1)
- Mathematics (1)
- Algorithms (1)
- Matemática (1)
- Aristóteles (1)
- Teoria Da Demonstração (1)
- Beweistheorie (1)
- Aristotle (1)
-
Mais opções
Autor/Criador
- Logic Colloquium (7)
- Association for Symbolic Logic (5)
- Girard, J (3)
- Schütte, K (2)
- Rosa, M (2)
- Salotti, B (2)
- Newman, J (2)
- Heyting, A (2)
- Boolos, G (2)
- Schwichtenberg, H (2)
- Troelstra, A (2)
- Lakatos, I (2)
- V a an anen, J (2)
- Baaz, M (2)
- Takeuti, G (2)
- Kraj i cek, J (2)
- Pohlers, W (2)
- Yamamoto, M (2)
- Barwise, J (2)
- Santos, R (2)
-
Mais opções
Data de Publicação
- Antes de1975 (10)
- 1975Até1989 (10)
- 1990Até1999 (17)
- 2000Até2008 (37)
- Após 2008 (27)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (65)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (23)
- FEA - Fac. Econ. Adm. Contab. e Atuária (8)
- ICMC - Inst. Ciên. Mat. Computação (6)
- EPBC - Esc. Politécnica-Bib Central (5)
- FEARP - Fac. Econ. Adm. Cont. de R. Preto (4)
- IF - Instituto de Física (2)
- FE - Faculdade de Educação (1)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (1)
- ECA - Escola de Comunicações e Artes (1)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (1)
-
Mais opções
Base de Dados/Biblioteca
- DOAJ Directory of Open Access Journals (8)
- Open access e-journals list (5)
- ROAD: Directory of Open Access Scholarly Resources (4)
- IngentaConnect Journals (3)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (2)
- Business Source® Complete (2)
- Dialnet (2)
- Academic OneFile (2)
- Cambridge Core All Books (1)
- Springer Books (1)
- Cambridge University Press online books (1)
- SciELO (1)
- SpringerLINK Lecture Notes in Computer Science (1)
- Recercat (1)
- SpringerLink Books Lecture Notes in Computer Science Archive (1)
- Springer Books Online Archive (1)
- UAB Digital Repository (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 