Synopsis
Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajicpek: A Fundamental Problem of Mathematical Logic. - P. Pudlak: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines.
Publisher information
- Publisher: Springer Verlag GmbH
- ISBN: 9783211827963
- Number of pages: 140
- Dimensions: 244 x 170 mm
- Languages: English
Customer Reviews
You may also like...
LISP, Lore, and Logic
Price: £74.99
Computability Theory
Price: £105
Cryptanalysis
Price: £13.49
The Essential Turing
Price: £30.00
Post-Quantum Cryptography
Price: £149
Data Structures and Algorithms
Price: £80.99
MATLAB Demystified
Price: £26.99
Computational Complexity
Price: £57.00
Concise Computer Mathematics
Price: £54.99
Probability Models
Price: £29.99
The Joy of Sets
Price: £50.99
Introduction to Lattices and Order
Price: £44.99