Výsledky
1 - 1
z
1
pro vyhledávání '
Fletcher, Peter, 1939-
'
Přeskočit na obsah
Váš účet
Odhlásit
Přihlášení
English
Informace o aktuálním provozu knihoven sledujte na jejich
stránkách
.
Vše
Název
Autor
Téma
ISBN/ISSN
Signatura
Čárový kód
Systémové číslo
Hledat
Pokročilé vyhledávání
Pokročilé vyhledávání
Filtr e-prezenčka
Autor
Fletcher, Peter, 1939-
Výsledky
1 - 1
z
1
pro vyhledávání '
Fletcher, Peter, 1939-
'
, doba hledání: 0,01 s.
Upřesnit hledání
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Autor
Název
1
Truth, proof and infinity : a theory of constructions and constructive reasoning /
Autor
Fletcher
,
Peter
,
1939
-
Vydáno 1998
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Související témata
Filozofie
Matematika
algorithms
algoritmy
constructivism (philosophy)
filozofie matematiky
konstruktivismus (filozofie)
matematická logika
matematické důkazy
matematické vzorce
matematika
mathematical formulae
mathematical logic
mathematical proofs
mathematics
philosophy of mathematics
×
Načítá se...
