Soggettario del Sistema bibliotecario ticinese Thesaurus redatto dalla Biblioteca Nazionale Centrale di Firenze contenente i termini validi per la soggettazione di documenti in lingua italiana. Questa raccolta contempla inoltre i termini regionali in uso nella Svizzera italiana (per esempio Aggregazioni comunali, Amministrazione federale), a cura del Gruppo Soggetti SBT. Ricerca   inizia con termine esatto contiene termine SBT (contiene)         I termini biografici e i termini geografici (nomi di persone, collettività e nomi di luogo) non vi sono contemplati.  Link PDF al Manuale applicativo di soggettazione ad uso degli indicizzatori del Sistema bibliotecario ticinese.
	Termine: Teoria della dimostrazione Catalogo soggetti SBT: cantonale - scolastico Catalogo temi fiction SBT: cantonale - scolastico Macrocategoria - Categoria: Cose - Strumenti Definizione: 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) Nota d'ambito: - Usato per (UF): - Termini obsoleti (HSF): - Termini più generali (BT): Strumenti Termini più specifici (NT): - Termini associati (RT): Dimostrazione Logica formale Logica matematica   Nota storica: - Nota sintattica: - Classificazione Dewey: - Risorsa esterna: http://d-nb.info/gnd/4145177-6 http://data.bnf.fr/ark:/12148/cb122670310 http://id.loc.gov/authorities/subjects/sh85107437 http://www.wikidata.org/wiki/Q852732 Fonte: BNCF Data inserimento: 16.03.2005 Identificativo: 4936
	Fonte: Biblioteca Nazionale Centrale, Firenze (BNCF) con licenza Creative Commons Attribuzione 2.5, aggiornati semestralmente, ultimo aggiornamento 12.11.2024. Termini regionali a cura del Gruppo Soggetti del Sistema bibliotecario ticinese (SBT). [Concept: 34256 (BNCF ottobre 2024) / 1174 (SBT)]