Criteria
Help search
Abbreviations
Reference sources
News
Download
Search
Teoria della dimostrazione
hierarchy
Category:
Cose:Strumenti
Top Term
Strumenti
Broader Term
[Sistemi, teorie e questioni della filosofia]
Related Term
Dimostrazione
Logica formale
Logica matematica
Definition
Teoria della logica che ha come oggetto le capacità dimostrative dei sistemi formali con lo sviluppo dell'assiomatica e delle ricerche sui fondamenti della matematica (DIS)
References
BNI 1986-1998
Bibliografia nazionale italiana,
Voci di soggetto. Aggiornamento 1986-1998
, Milano, Editrice Bibliografica, 1999.
;
PT
La
Piccola
Treccani. Dizionario enciclopedico
, Roma, Istituto della Enciclopedia Italiana, 1995-1997. 12 v.
;
DIS
Dizionario
delle idee
, a cura del Centro di studi filosofici di Gallarate, Firenze, G. C. Sansoni, 1977.
;
Wikipedia(IT)
Wikipedia
. L'enciclopedia libera
, 2001 [ed. in lingua italiana dell' enciclopedia online Wikipedia]
Equivalents
LCSH
:
Proof theory
RAMEAU
:
Théorie de la démonstration
GND
:
Beweistheorie
Wikidata
Q852732
Proposed by
BNI
Record status
Termine strutturato
Id.
4936
SKOS/RDF (
xml
|
nt
|
n3
|
json
)
Bibliographic records
OPAC BNCF
Resources
Subjects
OPAC SBN
Resources
Suggestions