skip to main content
Idioma:
Refinado por: assunto: Lógica Matemática remover ICMC - Inst. Ciên. Mat. Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Cambridge Summer School in Mathematical Logic [papers]
Cambridge Summer School in Mathematical Logic [papers]
Material Type:
Livro 		Adicionar ao Meu Espaço

Cambridge Summer School in Mathematical Logic [papers]

Summer School in Mathematical Logic (1971 : Cambridge, UK) A. R. D Mathias (Adrian Richard David) 1944-; H Rogers (Hartley) 1926-

Berlin New York Springer-Verlag 1973

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Lnm v.337 ex.1 ) e outros locais(Acessar)

2
Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings
Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings

Eugenio Moggi; G Rosolini (Giuseppe) 1954-; Biennial Conference on Category Theory in Computer Science (7th 1997 Santa Margherita Ligure, Italy)

Berlin Springer-Verlag New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1290 ) e outros locais(Acessar)

3
Computabilidade e lógica
Computabilidade e lógica
Material Type:
Livro 		Adicionar ao Meu Espaço

Computabilidade e lógica

George Boolos (George Stephen), 1940-1996 John P Burgess; Richard C Jeffrey; Cezar A Mortari

São Paulo UNESP 2012

Localização: FD - Fac. Direito    (16 B715c BCI ) e outros locais(Acessar)

4
Computability and logic
Computability and logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability and logic

George Boolos (George Stephen), 1940-1996 Richard Carl Jeffrey 1926-2002

Cambridge England University Press 1974

Localização: IME - Inst. Matemática e Estatística    (QA9 B724c ) e outros locais(Acessar)

5
Computability computable functions, logic, and the foundations of mathematics
Computability computable functions, logic, and the foundations of mathematics
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability computable functions, logic, and the foundations of mathematics

Richard L. Epstein Walter A Carnielli (Walter Alexandre)

Pacific Grove, Calif. Wadsworth & Brooks/Cole Advanced Books & Software c1989

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (511.3 E64c ) e outros locais(Acessar)

6
Degrees of unsolvability structure and theory
Degrees of unsolvability structure and theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Degrees of unsolvability structure and theory

Richard L. Epstein 1947-

Berlin New York Springer-Verlag 1979

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Lnm v.759 ex.1 ) e outros locais(Acessar)

7
Formal logic: its scope and limits
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal logic: its scope and limits

Richard C. Jeffrey

New York McGraw-Hill 1967

Localização: ICMC - Inst. Ciên. Mat. Computação    (03-02 J46fL e1 )(Acessar)

8
Foundations of intuitionistic mathematics
Foundations of intuitionistic mathematics
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of intuitionistic mathematics

Stephen Cole Kleene Richard Eugene Vesley

Amsterdam North-Holland 1965

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (510.6 K672f ) e outros locais(Acessar)

9
Infinite and finite sets to Paul Erdîos on his 60th birthday
Infinite and finite sets to Paul Erdîos on his 60th birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Infinite and finite sets to Paul Erdîos on his 60th birthday

Colloquium on Infinite and Finite Sets (1973 Keszthely, Hungary) Paul Erdos 1913-; A Hajnal; Richard Rado 1906-; Vera T Sós; Bolyai János Matematikai Társulat

Amsterdam North-Holland Pub. Co. 1975

Localização: ICMC - Inst. Ciên. Mat. Computação    (04-06 C714if 1973 v.2 e.1 ) e outros locais(Acessar)

10
Initial segments of degrees below o'
Initial segments of degrees below o'
Material Type:
Livro 		Adicionar ao Meu Espaço

Initial segments of degrees below o'

Richard L Epstein

Providence Ams 1981

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Ams v.241 ex.1 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1970  (3)
  2. 1970Até1973  (2)
  3. 1974Até1978  (3)
  4. 1979Até1985  (3)
  5. Após 1985  (5)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.