ReP USP - Resultado da busca

Relatorio tecnico
A Lindelof space with no Lindelof subspace of size 'N IND.1' (2001)
Koszmider, Piotr Boleslaw; Tall, Franklin D
Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, TEORIA DOS CONJUNTOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KOSZMIDER, Piotr Boleslaw e TALL, Franklin D. A Lindelof space with no Lindelof subspace of size 'N IND.1'. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/bc541165-d61a-4f72-b688-1f1d09ce1090/1185748.pdf. Acesso em: 01 nov. 2024. , 2001
APA
Koszmider, P. B., & Tall, F. D. (2001). A Lindelof space with no Lindelof subspace of size 'N IND.1'. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/bc541165-d61a-4f72-b688-1f1d09ce1090/1185748.pdf
NLM
Koszmider PB, Tall FD. A Lindelof space with no Lindelof subspace of size 'N IND.1' [Internet]. 2001 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/bc541165-d61a-4f72-b688-1f1d09ce1090/1185748.pdf
Vancouver
Koszmider PB, Tall FD. A Lindelof space with no Lindelof subspace of size 'N IND.1' [Internet]. 2001 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/bc541165-d61a-4f72-b688-1f1d09ce1090/1185748.pdf
Relatorio tecnico
Universal matrices and strongly unbounded functions (2001)
Koszmider, Piotr Boleslaw
Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, TEORIA DOS CONJUNTOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KOSZMIDER, Piotr Boleslaw. Universal matrices and strongly unbounded functions. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/b038300b-86b5-470c-a916-8b0aa6a98064/1185683.pdf. Acesso em: 01 nov. 2024. , 2001
APA
Koszmider, P. B. (2001). Universal matrices and strongly unbounded functions. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/b038300b-86b5-470c-a916-8b0aa6a98064/1185683.pdf
NLM
Koszmider PB. Universal matrices and strongly unbounded functions [Internet]. 2001 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/b038300b-86b5-470c-a916-8b0aa6a98064/1185683.pdf
Vancouver
Koszmider PB. Universal matrices and strongly unbounded functions [Internet]. 2001 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/b038300b-86b5-470c-a916-8b0aa6a98064/1185683.pdf
Relatorio tecnico
On Families of Lindeloff and related subspaces of '2 POT.w 1' (2001)
Junqueira, Lucia Renato ; Koszmider, Piotr Boleslaw
Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, TEORIA DOS CONJUNTOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JUNQUEIRA, Lucia Renato e KOSZMIDER, Piotr Boleslaw. On Families of Lindeloff and related subspaces of '2 POT.w 1'. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/fddbf64d-c8ee-45ce-b40d-8a673e421c13/1185702.pdf. Acesso em: 01 nov. 2024. , 2001
APA
Junqueira, L. R., & Koszmider, P. B. (2001). On Families of Lindeloff and related subspaces of '2 POT.w 1'. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/fddbf64d-c8ee-45ce-b40d-8a673e421c13/1185702.pdf
NLM
Junqueira LR, Koszmider PB. On Families of Lindeloff and related subspaces of '2 POT.w 1' [Internet]. 2001 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/fddbf64d-c8ee-45ce-b40d-8a673e421c13/1185702.pdf
Vancouver
Junqueira LR, Koszmider PB. On Families of Lindeloff and related subspaces of '2 POT.w 1' [Internet]. 2001 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/fddbf64d-c8ee-45ce-b40d-8a673e421c13/1185702.pdf
Relatorio tecnico
On strong chains of uncountable functions (2000)
Koszmider, Piotr Boleslaw
Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, TEORIA DOS CONJUNTOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KOSZMIDER, Piotr Boleslaw. On strong chains of uncountable functions. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/099fc054-7499-42ca-b7c5-17b9a7dde69a/1080406.pdf. Acesso em: 01 nov. 2024. , 2000
APA
Koszmider, P. B. (2000). On strong chains of uncountable functions. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/099fc054-7499-42ca-b7c5-17b9a7dde69a/1080406.pdf
NLM
Koszmider PB. On strong chains of uncountable functions [Internet]. 2000 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/099fc054-7499-42ca-b7c5-17b9a7dde69a/1080406.pdf
Vancouver
Koszmider PB. On strong chains of uncountable functions [Internet]. 2000 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/099fc054-7499-42ca-b7c5-17b9a7dde69a/1080406.pdf
Relatorio tecnico
Computing list combinator solutions for structural equations (1997)
Finger, Marcelo
Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Computing list combinator solutions for structural equations. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/a0db3aaf-a9e0-43c4-b461-28c8d2e410ef/975398.pdf. Acesso em: 01 nov. 2024. , 1997
APA
Finger, M. (1997). Computing list combinator solutions for structural equations. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/a0db3aaf-a9e0-43c4-b461-28c8d2e410ef/975398.pdf
NLM
Finger M. Computing list combinator solutions for structural equations [Internet]. 1997 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/a0db3aaf-a9e0-43c4-b461-28c8d2e410ef/975398.pdf
Vancouver
Finger M. Computing list combinator solutions for structural equations [Internet]. 1997 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/a0db3aaf-a9e0-43c4-b461-28c8d2e410ef/975398.pdf
Relatorio tecnico
Notes on complex combinators and structurally-free theorem proving (1996)
Finger, Marcelo
Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Notes on complex combinators and structurally-free theorem proving. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/ddbd2b57-83b4-4926-ba15-5d10d904242c/657307.pdf. Acesso em: 01 nov. 2024. , 1996
APA
Finger, M. (1996). Notes on complex combinators and structurally-free theorem proving. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/ddbd2b57-83b4-4926-ba15-5d10d904242c/657307.pdf
NLM
Finger M. Notes on complex combinators and structurally-free theorem proving [Internet]. 1996 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/ddbd2b57-83b4-4926-ba15-5d10d904242c/657307.pdf
Vancouver
Finger M. Notes on complex combinators and structurally-free theorem proving [Internet]. 1996 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/ddbd2b57-83b4-4926-ba15-5d10d904242c/657307.pdf
Relatorio tecnico
Cálculo virtual - Parte II (1995)
Cortizo, Sergio Ferreira
Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CORTIZO, Sergio Ferreira. Cálculo virtual - Parte II. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/86ce8045-7860-442c-a87a-960fee5be9e2/891140.pdf. Acesso em: 01 nov. 2024. , 1995
APA
Cortizo, S. F. (1995). Cálculo virtual - Parte II. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/86ce8045-7860-442c-a87a-960fee5be9e2/891140.pdf
NLM
Cortizo SF. Cálculo virtual - Parte II [Internet]. 1995 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/86ce8045-7860-442c-a87a-960fee5be9e2/891140.pdf
Vancouver
Cortizo SF. Cálculo virtual - Parte II [Internet]. 1995 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/86ce8045-7860-442c-a87a-960fee5be9e2/891140.pdf
Relatorio tecnico
Finite decidability and polynomials (1994)
Garcia, Manuel Valentim de Pera
Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GARCIA, Manuel Valentim de Pera. Finite decidability and polynomials. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/46735a13-bf4c-4cc6-b4b2-8d307a680175/885928.pdf. Acesso em: 01 nov. 2024. , 1994
APA
Garcia, M. V. de P. (1994). Finite decidability and polynomials. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/46735a13-bf4c-4cc6-b4b2-8d307a680175/885928.pdf
NLM
Garcia MV de P. Finite decidability and polynomials [Internet]. 1994 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/46735a13-bf4c-4cc6-b4b2-8d307a680175/885928.pdf
Vancouver
Garcia MV de P. Finite decidability and polynomials [Internet]. 1994 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/46735a13-bf4c-4cc6-b4b2-8d307a680175/885928.pdf
Relatorio tecnico
A note on the non-interpretability of a discrete order in an o-minimal (dense) structure (1994)
Bianconi, Ricardo
Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BIANCONI, Ricardo. A note on the non-interpretability of a discrete order in an o-minimal (dense) structure. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/2847e7a0-554e-4980-9ca6-60fad3d4cca2/869404.pdf. Acesso em: 01 nov. 2024. , 1994
APA
Bianconi, R. (1994). A note on the non-interpretability of a discrete order in an o-minimal (dense) structure. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/2847e7a0-554e-4980-9ca6-60fad3d4cca2/869404.pdf
NLM
Bianconi R. A note on the non-interpretability of a discrete order in an o-minimal (dense) structure [Internet]. 1994 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/2847e7a0-554e-4980-9ca6-60fad3d4cca2/869404.pdf
Vancouver
Bianconi R. A note on the non-interpretability of a discrete order in an o-minimal (dense) structure [Internet]. 1994 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/2847e7a0-554e-4980-9ca6-60fad3d4cca2/869404.pdf
Relatorio tecnico
Model completeness results for elliptic and abelian functions (1990)
Bianconi, Ricardo
Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BIANCONI, Ricardo. Model completeness results for elliptic and abelian functions. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/a5c6c556-9e33-4757-9a33-d415c3428f52/806482.pdf. Acesso em: 01 nov. 2024. , 1990
APA
Bianconi, R. (1990). Model completeness results for elliptic and abelian functions. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/a5c6c556-9e33-4757-9a33-d415c3428f52/806482.pdf
NLM
Bianconi R. Model completeness results for elliptic and abelian functions [Internet]. 1990 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/a5c6c556-9e33-4757-9a33-d415c3428f52/806482.pdf
Vancouver
Bianconi R. Model completeness results for elliptic and abelian functions [Internet]. 1990 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/a5c6c556-9e33-4757-9a33-d415c3428f52/806482.pdf
Relatorio tecnico
Notes on the theory of variable binding term operators (1981)
Costa, Newton Carneiro Affonso da; Mortensen, Chris
Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, TEORIA DOS MODELOS (RELATÓRIO TÉCNICO)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, Newton Carneiro Affonso da e MORTENSEN, Chris. Notes on the theory of variable binding term operators. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/de22a1dd-7005-4945-a983-f27dda03fc0f/958953.pdf. Acesso em: 01 nov. 2024. , 1981
APA
Costa, N. C. A. da, & Mortensen, C. (1981). Notes on the theory of variable binding term operators. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/de22a1dd-7005-4945-a983-f27dda03fc0f/958953.pdf
NLM
Costa NCA da, Mortensen C. Notes on the theory of variable binding term operators [Internet]. 1981 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/de22a1dd-7005-4945-a983-f27dda03fc0f/958953.pdf
Vancouver
Costa NCA da, Mortensen C. Notes on the theory of variable binding term operators [Internet]. 1981 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/de22a1dd-7005-4945-a983-f27dda03fc0f/958953.pdf
Relatorio tecnico
The philosophical import of paraconsistent logic (1981)
Costa, Newton Carneiro Affonso da
Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, Newton Carneiro Affonso da. The philosophical import of paraconsistent logic. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/abf0277a-3a73-4fb5-8c4a-c538f448baa6/319141.pdf. Acesso em: 01 nov. 2024. , 1981
APA
Costa, N. C. A. da. (1981). The philosophical import of paraconsistent logic. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/abf0277a-3a73-4fb5-8c4a-c538f448baa6/319141.pdf
NLM
Costa NCA da. The philosophical import of paraconsistent logic [Internet]. 1981 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/abf0277a-3a73-4fb5-8c4a-c538f448baa6/319141.pdf
Vancouver
Costa NCA da. The philosophical import of paraconsistent logic [Internet]. 1981 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/abf0277a-3a73-4fb5-8c4a-c538f448baa6/319141.pdf
Relatorio tecnico
On the preservation of elementary equivalence and embedding by filtered powers and structures of stable continuous functions (1981)
Miraglia Neto, Francisco
Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, LÓGICA ALGÉBRICA (RELATÓRIO TÉCNICO), TEORIA DOS MODELOS (RELATÓRIO TÉCNICO), LÓGICA MATEMÁTICA (RELATÓRIO TÉCNICO)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIRAGLIA NETO, Francisco. On the preservation of elementary equivalence and embedding by filtered powers and structures of stable continuous functions. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/7d44fc84-1fe8-4f41-95cf-89344e193e0b/474224.pdf. Acesso em: 01 nov. 2024. , 1981
APA
Miraglia Neto, F. (1981). On the preservation of elementary equivalence and embedding by filtered powers and structures of stable continuous functions. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/7d44fc84-1fe8-4f41-95cf-89344e193e0b/474224.pdf
NLM
Miraglia Neto F. On the preservation of elementary equivalence and embedding by filtered powers and structures of stable continuous functions [Internet]. 1981 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/7d44fc84-1fe8-4f41-95cf-89344e193e0b/474224.pdf
Vancouver
Miraglia Neto F. On the preservation of elementary equivalence and embedding by filtered powers and structures of stable continuous functions [Internet]. 1981 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/7d44fc84-1fe8-4f41-95cf-89344e193e0b/474224.pdf
Relatorio tecnico
Relations between paraconsistent logic and many-valued logic (1981)
Costa, Newton Carneiro Affonso da; Alves, Elias Humberto
Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, SISTEMAS LÓGICOS NÃO CLÁSSICOS (RELATÓRIO TÉCNICO), LÓGICA POLIVALENTE (RELATÓRIO TÉCNICO)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, Newton Carneiro Affonso da e ALVES, Elias Humberto. Relations between paraconsistent logic and many-valued logic. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/3520e5a1-170b-414b-8bd2-ef495a0787bd/474207.pdf. Acesso em: 01 nov. 2024. , 1981
APA
Costa, N. C. A. da, & Alves, E. H. (1981). Relations between paraconsistent logic and many-valued logic. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/3520e5a1-170b-414b-8bd2-ef495a0787bd/474207.pdf
NLM
Costa NCA da, Alves EH. Relations between paraconsistent logic and many-valued logic [Internet]. 1981 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/3520e5a1-170b-414b-8bd2-ef495a0787bd/474207.pdf
Vancouver
Costa NCA da, Alves EH. Relations between paraconsistent logic and many-valued logic [Internet]. 1981 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/3520e5a1-170b-414b-8bd2-ef495a0787bd/474207.pdf

Unidades USP

ReP

Filtros

Autores

Autores USP

Ano de publicação

Assuntos