Passer au contenu principal

Mathematics (thesaurus)

Choisissez le vocabulaire dans lequel chercher

Concept information

mathematical logic > proof theory > sequent calculus

Terme préférentiel

sequent calculus  

Concept générique

Traductions

URI

http://data.loterre.fr/ark:/67375/PSR-BLJN8T0M-6

Télécharger ce concept :