Dowek, G. (2011). Proofs and algorithms: An introduction to logic and computability. Springer London.
Citace podle Chicago (17th ed.)Dowek, Gilles. Proofs and Algorithms: An Introduction to Logic and Computability. London: Springer London, 2011.
Citace podle MLA (9th ed.)Dowek, Gilles. Proofs and Algorithms: An Introduction to Logic and Computability. Springer London, 2011.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..