OU Portal
Log In
Welcome
Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
Error:
Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.
{}
Zavřít
Publikační činnost
Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu:
kapitola v odborné knize (C)
Domácí pracoviště:
Katedra filozofie (25100)
Název:
O moderní logice, metamatematice a logice dokazatelnosti
Citace
Hromek, P. O moderní logice, metamatematice a logice dokazatelnosti.
In:
Raymond Smullyan. Navěky nerozhodnuto. Úvod do logiky a zábavný průvodce ke Gödelovým objevům.
1. vyd. Praha: Academia, 2003. s. 284-308. ISBN 80-200-1068-8.
Podnázev
Rok vydání:
2003
Obor:
Filosofie a náboženství
Forma vydání:
Kód ISBN:
80-200-1068-8
Název knihy v originálním jazyce:
Raymond Smullyan. Navěky nerozhodnuto. Úvod do logiky a zábavný průvodce ke Gödelovým objevům.
Název edice a číslo svazku:
Místo vydání:
Praha
Název nakladatele:
Academia
Označení vydání
(číslo vydání):
1:
Vydáno:
Autor zdrojového dokumentu:
Počet stran:
Počet stran knihy:
Strana od:
284
Strana do:
308
Počet výtisků knihy:
EID:
Klíčová slova anglicky:
modern logic, metamathematics, modal logic, logic of provability
Popis v původním jazyce:
Popis v anglickém jazyce:
Basic concepts of modern logic, metamathematics, and history of logic of provability.
Seznam ohlasů
Ohlas
R01:
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules
Probíhá načítání, čekejte prosím...