skip to main content
Idioma:
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Fundamentals of Generalized Recursion Theory
Fundamentals of Generalized Recursion Theory
Fundamentals of Generalized Recursion Theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamentals of Generalized Recursion Theory

Melvin Fitting

Elsevier 1981

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

2
Proof methods for modal and intuitionistic logics
Proof methods for modal and intuitionistic logics
Material Type:
Livro 		Adicionar ao Meu Espaço

Proof methods for modal and intuitionistic logics

Melvin Chris Fitting 1942-

Dordrecht, Holland Hingham, MA Boston, U.S.A. D. Reidel Sold and distributed in the U.S.A. and Canada by Kluwer Boston c1983

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

3
Computability theory, semantics, and logic programming
Computability theory, semantics, and logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability theory, semantics, and logic programming

Melvin Chris Fitting 1942-

New York Oxford University Press Oxford Clarendon 1987

Localização: IME - Inst. Matemática e Estatística    (QA810 F547c )(Acessar)

4
First-order logic and automated theorem proving
First-order logic and automated theorem proving
Material Type:
Livro 		Adicionar ao Meu Espaço

First-order logic and automated theorem proving

Melvin Chris Fitting 1942-

New York Springer 1996

Localização: IME - Inst. Matemática e Estatística    (QA860 F547f )(Acessar)

5
Types, tableaus, and Gödel's God
Types, tableaus, and Gödel's God
Material Type:
Livro 		Adicionar ao Meu Espaço

Types, tableaus, and Gödel's God

Melvin Chris Fitting 1942-

Dordrecht Boston Kluwer Academic c2002

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

6
Intuitionistic logic, model theory and forcing
Intuitionistic logic, model theory and forcing
Material Type:
Livro 		Adicionar ao Meu Espaço

Intuitionistic logic, model theory and forcing

Melvin Chris Fitting 1942-

Amsterdam North-Holland 1969

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

7
Set theory and the continuum problem
Set theory and the continuum problem
Material Type:
Livro 		Adicionar ao Meu Espaço

Set theory and the continuum problem

Raymond M Smullyan Melvin Chris Fitting 1942-

Mineola, N.Y. Dover Publications 2010

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária  ACERVO DELFIM NETTO  (C7.15.38 )(Acessar)

8
First-order modal logic
First-order modal logic
Material Type:
Livro 		Adicionar ao Meu Espaço

First-order modal logic

Melvin Chris Fitting 1942- Richard L Mendelsohn

Dordrecht Kluwer Academic c1998

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (501 S993 v.277 )(Acessar)

9
Set theory and the continuum problem
Set theory and the continuum problem
Material Type:
Livro 		Adicionar ao Meu Espaço

Set theory and the continuum problem

Raymond M. Smullyan Melvin Chris Fitting 1942-

Oxford Clarendon Press New York Oxford University Press 1996

Localização: EPBC - Esc. Politécnica-Bib Central    (510.22 Sm85s ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Fitting, M
  2. Smullyan, R
  3. Mendelsohn, R

Neste Assunto:

  1. Lógica Matemática
  2. Modality (Logic)
  3. Lógica Modal
  4. Continuum Hypothesis
  5. Teoria Dos Conjuntos

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

Buscando em bases de dados remotas. Favor aguardar.