BooksComputersLanguagesGeneralMathematical theory of computationMathematical logic
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Product Details
Publisher
Cambridge University Press
Published
1993
Pages
320
Binding
Hardcover
Edition
1
ISBN
9780521414135
Language
English
Genre
Computers, Languages, General, Mathematical theory of computation, Mathematical logic
Category
Books