Recursive Functions and Metamathematics Problems of Completeness and Decidability Gdels Theorems 286 Synthese Library
£123.49
Includes FREE deliveryRRP £129.99 – you save £6.50 (5%)
Order before 4pm today for delivery by Wed 24 Jun 2026.
A Hardback by Roman Murawski
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Recursive Functions and Metamathematics Problems of Completeness and Decidability Gdels Theorems 286 Synthese Library by Roman Murawski
Publisher: Springer
Publication Date: 30/09/1999
ISBN13: 9780792359043, 978-0792359043
ISBN10: