Proof methods for modal and intuitionistic logics /

Na minha lista:
Detalhes bibliográficos
Autor principal: Fitting, Melvin
Formato: Livro
Publicado em:
Assuntos:
Teoria das demonstrações.
Modalidade (Lógica).
Matemática intuicionista.
Endereço do item:https://app.bczm.ufrn.br/home/#/item/211942
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-140106
record_format dspace
spelling oai:localhost:123456789-1401062022-12-01T04:33:41Z Proof methods for modal and intuitionistic logics / Fitting, Melvin, Teoria das demonstrações. Modalidade (Lógica). Matemática intuicionista. 2 2022-10-06T10:53:35Z 2022-10-06T10:53:35Z c1983. Livro 510.6 F547p 9789048183814 (broch.). 211942 https://app.bczm.ufrn.br/home/#/item/211942 https://app.bczm.ufrn.br/home/#/item/211942
institution Acervo SISBI
collection SIGAA
topic Teoria das demonstrações.
Modalidade (Lógica).
Matemática intuicionista.
spellingShingle Teoria das demonstrações.
Modalidade (Lógica).
Matemática intuicionista.
Fitting, Melvin,
Proof methods for modal and intuitionistic logics /
description
format Livro
author Fitting, Melvin,
author_facet Fitting, Melvin,
author_sort Fitting, Melvin,
title Proof methods for modal and intuitionistic logics /
title_short Proof methods for modal and intuitionistic logics /
title_full Proof methods for modal and intuitionistic logics /
title_fullStr Proof methods for modal and intuitionistic logics /
title_full_unstemmed Proof methods for modal and intuitionistic logics /
title_sort proof methods for modal and intuitionistic logics /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/211942
work_keys_str_mv AT fittingmelvin proofmethodsformodalandintuitionisticlogics
_version_ 1766820516819107840

Registros relacionados