Liknande böcker

Computability and Randomness
Bok av André. Nies
Logic and Language
Bok av Neville Dean
Thirty Five Years of Automating Mathematics
Bok av F D Kamareddine
A textbook of belief dynamics : theory change and database updating
Bok av Sven Ove Hansson
What is a logical system?
Bok av Dov M. (EDT) Gabbay
Computable Structures and the Hyperarithmetical Hierarchy
Bok av C J Ash
Interpolating Cubic Splines
Bok av Gary D. Knott
Philosophical and Mathematical Logic
Bok av Harrie de Swart

Sketches of an elephant : a topos theory compendium

Bok av Peter T. Johnstone