Le Diko - logique modale constructive

waiting

Le Diko - logique modale constructive

Javascript doit fonctionner ! Activez-le et rechargez cette page.

le dictionnaire d'associations lexicales
contributif et libre de JeuxDeMots

logique modale constructive

Nom

Searching for definitions...

Associations d'idées

•

logique

•

•

9

calcul des constructions

•

•

méthodes de preuve

•

•

systèmes formels

•

•

théorie des catégories

•

théorie des ensembles

•

théorie des types

logique

•

• Mathieu Lafourcade • LIRMM (données libres en Creative Commons) •

• This page link : https://www.jeuxdemots.org/diko.php?gotermid=280607421 • caches: c1=32 c2=186 c3=7

po

la

ti

le

as

ku

co

lo

to

ta

ta

xe

po

li

?!

!?

[Vider le cache]

A propos

Champs masqués

5.3 s