Semantics of the Axiom (Schema) of Comprehension
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F07%3A00083443" target="_blank" >RIV/67985955:_____/07:00083443 - isvavai.cz</a>
Alternative codes found
RIV/00216224:14330/07:00029855
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Semantics of the Axiom (Schema) of Comprehension
Original language description
The class determined by an instance of the axiom of comprehension is given by a concept as a procedure.
Czech name
Sémantika axiómu komprehenz
Czech description
Třída určená instance axiómu komprehenze je dána pojmem jakožto procedurou.
Classification
Type
D - Article in proceedings
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2007
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
The Logica Yearbook 2006
ISBN
978-80-7007-254-7
ISSN
—
e-ISSN
—
Number of pages
11
Pages from-to
169-179
Publisher name
Filosofia
Place of publication
Prague
Event location
Hejnice
Event date
Jun 19, 2006
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—