Bizonyítás és igazság
| Main Author: | |
|---|---|
| Other Authors: | , , |
| source: | Philobibl |
| Format: | Book |
| Language: | Hungarian |
| Keywords: | logika, matematikai logika, szimbolikus ismeretelmélet matematika tudományfilozófia modellelmélet |
| Published: |
Bp.
Gondolat K.
1990
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | bibDOK00000761 | ||
| 005 | 20200924115711.7 | ||
| 008 | 060518s1990 hu hun | ||
| 100 | 1 | |a Tarski, Alfred | |
| 245 | 1 | 0 | |a Bizonyítás és igazság |c Tarski, Alfred ; [vál., szerk., bev., komment., bibliogr. Ruzsa Imre ; ford. E. Bártfai László et al.] |
| 260 | |a Bp. |b Gondolat K. |c 1990 | ||
| 300 | |a 480 p. | ||
| 505 | 0 | |g p. 264-276., |t A deduktív elméletek kifejezési eszközeinek korlátai |r ford. Bodnár M. István | |
| 505 | 0 | |g p. 277-286., |t A tudományos szemantika megalapozása |r ford. Bodnár M. István | |
| 505 | 0 | |g p. 287-306., |t A logikai következmény fogalmáról |r ford. Bodnár M. István | |
| 695 | |a logika, matematikai | ||
| 695 | |a logika, szimbolikus | ||
| 695 | |a ismeretelmélet | ||
| 695 | |a matematika | ||
| 695 | |a tudományfilozófia | ||
| 695 | |a modellelmélet | ||
| 700 | 1 | |a Ruzsa Imre | |
| 700 | 1 | |a Bártfai László, E. | |
| 700 | 1 | |a Bodnár M. István | |