French Arithmétique de Heyting Cited by user JeanCASPAR on 22 May 2024 L'arithmétique de Heyting est une axiomatisation de l'arithmétique dans le cadre de la logique intutionniste.
Greek Αξίωμα της ζεύξης Cited by user Projethomere on 31 Jul 2023 Στην αξιωματική θεωρία συνόλων και στους κλάδους της λογικής, των μαθηματικών και της επιστήμης των υπολογιστών που τη χρησιμοποιούν, το αξίωμα της ζεύξης είναι ένα από τα…