datos.bne.es

Término aceptado	[es] Cálculo de predicados [en] Predicate calculus [fr] Calcul des prédicats
Usado por	Cuantificación de predicados Predicados, Cálculo de Lógica del cálculo de predicados
Término relacionado	Predicado (Lógica) Lógica matemática
Término equivalente en otros vocabularios	http://data.bnf.fr/ark:/12148/cb11931096k http://id.loc.gov/authorities/subjects/sh85106251
Temas relacionados	Cálculo de predicados--Proceso de datos