Matematické důkazy /
Úvod do formální logiky a přehled různých typů důkazů používaných v matematice.
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Kniha |
| Jazyk: | Czech |
| Vydáno: |
Praha :
SNTL,
1985
|
| Vydání: | 1. vyd. |
| Edice: | Polytechnická knižnice
|
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| LEADER | 00985nam a22002653a 4500 | ||
|---|---|---|---|
| 001 | 14220 | ||
| 003 | CZ-PrVUV | ||
| 005 | 20240918143327.0 | ||
| 008 | 851103s1985----xr ---------u-------cze-d | ||
| 040 | |a ABC161 |e AACR2 |9 1 |b cze | ||
| 100 | 1 | |a Thiele, Rüdiger |4 aut |9 1879 | |
| 245 | 1 | 0 | |a Matematické důkazy / |c Rüdiger Thiele ; překladatel Alois Kufner, Štefan Schwabik |
| 250 | |a 1. vyd. | ||
| 260 | |a Praha : |b SNTL, |c 1985 | ||
| 300 | |a 160 s. : |b obr. | ||
| 490 | 1 | |a Polytechnická knižnice. Řada 1. Věda a technika populárně ; |v Sv. 127 | |
| 520 | 2 | |a Úvod do formální logiky a přehled různých typů důkazů používaných v matematice. | |
| 653 | |a matematika |a logika | ||
| 700 | 1 | |a Kufner, Alois |4 trl |9 1880 | |
| 700 | 1 | |a Schwabik, Štefan |4 trl |9 1881 | |
| 830 | 0 | |a Polytechnická knižnice |9 361 | |
| 942 | |c KN |6 _ | ||
| 999 | |c 14220 |d 14220 | ||
| 910 | |a ABC161 | ||
| 993 | |0 0 |1 433932000452 |4 0 |6 C70_ |7 0 |9 16324 |b 0 |c 2000452 |d 2020-08-10 |e 0 |f BR |g C70 |l BR |r 2020-08-10 |t 5 |w 2020-08-10 |y KN | ||