Zobrazeno 1 - 10
of 158
pro vyhledávání: '"Alfred Tarski"'
Autor:
Alfred Tarski, Wagner de Campos Sanz
Publikováno v:
Princípios, Vol 8, Iss 10, Pp 220-233 (2010)
Traduçáo
Externí odkaz:
https://doaj.org/article/78d374c718244bd79e711facde64e1fd
Publikováno v:
Princípios, Vol 8, Iss 10, Pp 187-209 (2010)
Traduçáo
Externí odkaz:
https://doaj.org/article/9e339aa4f3ea4cb5b01a2437df406f6d
Publikováno v:
Princípios, Vol 08, Iss 10, Pp 187-209 (2001)
Externí odkaz:
https://doaj.org/article/73033724476240348f29a97afe007880
Publikováno v:
Princípios, Vol 08, Iss 10, Pp 220-233 (2001)
Externí odkaz:
https://doaj.org/article/46f42075925541f585ae6c724f1e27a4
Autor:
Alfred Tarski, Jan Tarski
Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book explains the basic concepts and principles which make up the elements of logic. The author demonstrate
Autor:
Alfred Tarski
X is true if, and only if, p. [...] we shall call a definition of truth “adequate” if all these equivalences follow from it. [...] The definition of truth which was outlined above [...] implies all equivalences of the form (T). In this connnectio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::113cd32de7e93cbd09827cf928aac029
https://doi.org/10.7551/mitpress/12112.003.0026
https://doi.org/10.7551/mitpress/12112.003.0026
Autor:
Alfred Tarski
This revised edition of A Decision Method for Elementary Algebra and Geometry presents the culmination of research begun in 1930, which laid foundational results in algebraic and geometric completeness. Originally intended for publication in 1939 by
Autor:
Alfred Tarski
First published in Polish in 1936, this classic work was originally written as a popular scientific book — one that would present to the educated lay reader a clear picture of certain powerful trends of thought in modern logic. According to the aut
Autor:
Alfred Tarski
Publikováno v:
History and Philosophy of Logic. 23:155-196
We provide for the first time an exact translation into English of the Polish version of Alfred Tarski's classic 1936 paper, whose title we translate as ‘On the Concept of Following Logically’. We also provide in footnotes an exact translation of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c4fda2e552a9d549baada6a3d3d0275
https://doi.org/10.1080/0144534021000036683
https://doi.org/10.1080/0144534021000036683
Publikováno v:
History and Philosophy of Logic. 16:159-168
In this article the author first described the developments which brought to focus the importance of consistency proofs for mathematics, and which led Hilbert to promote the science of metamathemat-ics. Further comments and remarks concern the (partl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::611378298d863287b9b15194d31d3458
https://doi.org/10.1080/01445349508837247
https://doi.org/10.1080/01445349508837247