Liknande böcker

Logic and Language
Bok av Neville Dean
Sketches of an elephant : a topos theory compendium
Bok av Peter T. Johnstone
Thirty Five Years of Automating Mathematics
Bok av F D Kamareddine
Information and Randomness
Bok av Cristian Calude
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxf...
Bok av Richard Bornat
Computable Structures and the Hyperarithmetical Hierarchy
Bok av C J Ash
Bounded Arithmetic, Propositional Logic and Complexity Theory
Bok av Jan. Krajicek
Proceedings of the 7th & 8th Asian Logic Conferences: Hsi-Tou, Taiwan, 6...
Bok av R. G. Downey

Computability and Randomness

Bok av André. Nies