392 rezultatov
-
The Mathematics of Secrets - Cryptography from Caesar Ciphers to Digital Encryption(2018) JOSHUA HOLDENVezava: Mehka25,84 € -
Short Introduction to Intuitionistic Logic(2000) MINTS, GRIGORIIntuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.Vezava: Trda179,48 € -
Logic Colloquium '01(2005)A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 includes surveys and research articles from some of the world's preeminent logiciansVezava: Trda90,99 €
-
Logicism Renewed(2005) GILMORE, PAUL C.Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principlesVezava: Mehka82,24 €
