Foundations of Mathematical LogicAuthor :
Paperback
Published : Friday 28 March 2003
Description
Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markovs approach to algorithms, elementary facts about lattices, logical connectives, more. 1963 edition.
You may also like ...
by
Hardback
24 Mar 2022
Cultural studies: food and society
€11.70
Extended stock – Dispatch 5-7 days
by
Paperback
09 Dec 2021
Modern and contemporary fiction: general and literary
€9.35
Extended stock – Dispatch 5-7 days
by
Paperback
21 Apr 2020
History of art
€42.12
Extended stock – Dispatch 5-7 days
by
Paperback
26 Oct 2017
Biography: sport
€7.01
Extended stock – Dispatch 5-7 days
Reviews