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
Proof and the art of mathemati...
Popis
Citace.com
×
Citace.com
Poslat emailem
Exportovat záznam
Exportovat do RefWorks
Exportovat do EndNoteWeb
Exportovat do EndNote
Exportovat do MARC
Exportovat do MARCXML
Exportovat do RDF
Exportovat do BibTeX
Exportovat do RIS
Do oblíbených
Proof and the art of mathematics /
Uloženo v:
Podrobná bibliografie
Hlavní autor:
Hamkins, Joel David
(Autor)
Typ dokumentu:
Kniha
Jazyk:
Angličtina
Vydáno:
Cambridge, Massachusetts :
The MIT Press,
[2020]
Témata:
teorie důkazu
matematická logika
proof theory
mathematical logic
monografie
monographs
Přejít na ObalkyKnih.cz
Jednotky
Popis
MARC21
Popis
Fyzický popis:
xxvi, 208 stran
Bibliografie:
Obsahuje bibliografii a rejstřík
ISBN:
978-0-262-53979-1
Podobné jednotky
Handbook of proof theory /
Vydáno: (1998)
An introduction to mathematical proofs /
Autor: Loehr, Nicholas A.
Vydáno: (2020)
Structural proof theory /
Autor: Negri, Sara, 1967-, a další
Vydáno: (2001)
Proof analysis : a contribution to Hilbert's last problem /
Autor: Negri, Sara, 1967-, a další
Vydáno: (2011)
Type theory and formal proof : an introduction /
Autor: Nederpelt, Rob, a další
Vydáno: (2014)
×
Načítá se...