DiccionariosForoContactos

   Alemán Inglés +
Google | Forvo | +

Kripke-Modell

adj.
intel. Kripke model (in der modalen Logik)