Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Vidal Agraz, Roger"'
Autor:
Vidal Agraz, Roger
Publikováno v:
Dipòsit Digital de la UB
Universidad de Barcelona
Universidad de Barcelona
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2020, Director: Enrique Casanovas Ruiz-Fornells
[en] Inspired by Gödel’s work, Henkin presented in 1952 the following problem: In any standard
[en] Inspired by Gödel’s work, Henkin presented in 1952 the following problem: In any standard
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::33ab63e069a311c08dee736d07cc38d4
http://hdl.handle.net/2445/166541
http://hdl.handle.net/2445/166541
