369 rezultatov
-
The Mathematics of Secrets - Cryptography from Caesar Ciphers to Digital Encryption(2018) JOSHUA HOLDENVezava: Mehka25,84 € -
Intuitionistic Analysis(2026) VAN DALEN, DIRK,VAN ATTEN, MARK,SMORYNSKI, CRAIGIt compares constructive and classical methods, highlights where classical theorems fail through “weak counterexamples”, and examines Brouwer’s classical and constructive versions of the Fixed-Point Theorem.Vezava: Mehka73,27 € -
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 € -
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: Mehka87,49 €
