Kurt Gödel matemathematical results on formaky undecidable propositions: completeness vs. incompleteness

Bibliographic Details
Main Author: Duží, Marie (Author)
Format: Article
Language:Slovak
English
ISSN:1335-0668
Subjects:

MARC

LEADER 00000nab a2200000 a 4500
001 vtls008950829
003 SK-MaSNL
005 20260304134740.0
008 250505c2005 xo qr|p|||||||000 b|slo
015 |a SNBRB2007/03 
035 |a (uuid)5ead57af-0b99-4ded-8871-41054d376daf 
035 |a urn:nbn:sk:snk-ab9k1c 
035 |a (urnnbn)urn:nbn:sk:snk:ar-a08hou 
038 |a SNKBUCL 
040 |a SNKBUCL  |b slo  |c SNKBUCL  |e AACR2 
041 0 |a eng  |b eng 
044 |a xo  |c SK 
080 |a 164  |2 1997 
080 |a 510.6  |2 1997 
080 |a 164.23  |2 1997 
080 |a 510.635  |2 1997 
100 1 |a Duží, Marie  |4 aut  |9 862830 
245 1 0 |a Kurt Gödel  |b matemathematical results on formaky undecidable propositions: completeness vs. incompleteness  |c Marie Duží 
504 |a Bibliogr. odkazy 
546 |a Res. angl. 
600 1 7 |a Gödel, Kurt,  |d 1906-1978  |2 snkbucl  |9 415369 
650 0 7 |a metamatematika  |2 snkbucl  |9 1419635 
650 0 7 |a logika  |2 snkbucl  |9 806 
650 0 7 |a matematika  |2 snkbucl  |9 70174 
650 0 7 |a predikátová logika  |2 snkbucl  |9 72865 
773 0 |t Organon F  |g Roč. XII, č. 4 (2005), s. 447-474  |x 1335-0668 
850 |a Slovenská národná knižnica 
852 |a Slovenská národná knižnica 
958 |a article13 
958 |a OND 
958 |a SK 
958 |a NB 
958 |a EUIPO 
999 |c 2907985  |d 2909915