skip to main content
LOTERRE

LOTERRE

Search from vocabulary

Lengua del contenido

| français English
Ayuda para la búsqueda

Concept information

mathematical logic > proof theory > natural deduction

Término preferido

natural deduction  

Concepto genérico

En otras lenguas

URI

http://data.loterre.fr/ark:/67375/PSR-FG3QCS7L-N

Descargue este concepto:

RDF/XML TURTLE JSON-LD Creado 28/7/23, última modificación 28/7/23