Liknande böcker

Recursive Model Theory
Bok av Y L Ershov
Principles of Logic and Logic Programming
Bok av George Metakides
Theory and Applications of Relational Structures as Knowledge Instrument...
Bok av Harrie de. Swart
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Bok av Nikolaos Galatos
Computer Science Logic : 23rd international Workshop, CSL 2009, 18th Ann...
Bok av Erich. Grädel
EUROCAL '87
Bok
Realizability : an introduction to its categorical side
Bok av Jaakobus van Oosten
Analysis and Control of Boolean Networks : A semi
Bok av Daizhan Cheng

Recursive Algebra, Analysis and Combinatorics

Bok av Y L Ershov