Criteria
Help search
Abbreviations
Reference sources
News
Download
Search
Logica formale
hierarchy
Category:
Azioni:Discipline
Scope note
Logica che studia le forme dell'argomentazione indipendentemente dal suo contenuto.
Per il significato di disciplina che formalizza in linguaggio matematico le operazioni logiche, usare Logica matematica
Top Term
Discipline
Broader Term
Logica
Related Term
Abduzione
Assiomatica
Contraddizione
Empirismo logico
Linguaggi formali
Logica matematica
Teoria della dimostrazione
References
Soggettario
Soggettario
per i cataloghi delle biblioteche italiane
, a cura della Biblioteca nazionale centrale di Firenze, Firenze, Stamperia Il cenacolo, 1956.
;
DeM
De Mauro
, Tullio.
Grande dizionario italiano dell'uso
, ideato e diretto da Tullio De Mauro, Torino, UTET, 1999-2000. 6 v. + 1 CD-ROM.
;
PT
La
Piccola
Treccani. Dizionario enciclopedico
, Roma, Istituto della Enciclopedia Italiana, 1995-1997. 12 v.
;
WebDewey(IT)
Dewey
, Melvil,
WebDewey italiana
, [basata sulla vers. originale in inglese], Roma, Associazione italiana biblioteche, 2014-.
;
Wikipedia(IT)
Wikipedia
. L'enciclopedia libera
, 2001 [ed. in lingua italiana dell' enciclopedia online Wikipedia]
(voce: Logica matematica)
DDC (WebDewey)
Dewey, Melvil,
WebDewey italiana
[basata sulla vers. originale in inglese], Roma, Associazione italiana biblioteche, 2014-
511.3
Equivalents
EMBNE
:
Lógica formal
Proposed by
BNI
Record status
Termine strutturato
Id.
723
SKOS/RDF (
xml
|
nt
|
n3
|
json
)
Bibliographic records
OPAC BNCF
Resources
Subjects
OPAC SBN
Resources
Suggestions
: 