Anar al contingut
VuFind
El teu compte
Tancar la sessió
Iniciar sessió
Idioma
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português (Brasil)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Tots els camps
Autor
Títol
Títol de la revista
Matèria
ISBN/ISSN
Etiqueta
Trobar
Avançada
Trakhtenbrot’s Theorem in Coq:...
Registre de correu electrònic
Registre de correu electrònic:
Trakhtenbrot’s Theorem in Coq: A Constructive Approach to Finite Model Theory
A:
Missatge:
×
Carregant...