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: Calcolo proposizionale Catalogo soggetti Sbt: cantonale - scolastico Catalogo temi fiction Sbt: cantonale - scolastico Macrocategoria - Categoria: Cose - Strumenti Definizione: - Nota d'ambito: In logica matematica è il calcolo algebrico logico in cui, senza indagare sulla struttura delle singole proposizioni semplici, si esamina come queste vengono collegate fra loro Usato per (UF): Calcolo delle proposizioni Termini obsoleti (HSF): - Termini più generali (BT): Calcolo Strumenti Termini più specifici (NT): - Termini associati (RT): Logica matematica   Nota storica: - Nota sintattica: - Classificazione Dewey: 511.3 Risorsa esterna: http://d-nb.info/gnd/4137551-8 http://data.bnf.fr/ark:/12148/cb11957018n http://id.loc.gov/authorities/subjects/sh85107553 Fonte: BNCF Data inserimento: 25.10.2007 Identificativo: 18749
	Fonte: Biblioteca Nazionale Centrale, Firenze (BNCF) con licenza Creative Commons Attribuzione 2.5, aggiornati semestralmente, ultimo aggiornamento 22.03.2024. Termini regionali a cura del Gruppo Soggetti del Sistema bibliotecario ticinese (Sbt). [Concept: 33924 (BNCF marzo 2024) / 1144 (Sbt)]