This is our South Africa store.

Looks like you're in United States. You need a South Africa address to shop on our South Africa store. Go to our United States store to continue.

Choose another store Go to United States Store Go to United States Store Choose another store

Computability and Randomness

AndrÃ© Nies

Oxford Logic Guides

Buy the eBook

Save 20 %List Price: R 1 203,90.R 963,11

You are in the South Africa store

Not in South Africa? Choose your country’s store to see books available for purchase.

Choose Store

Buy Now

Why read with us?

Kobo empowers book lovers to read more.

Elevated reading experience with our Kobo eReaders

Rich and relevant book catalogue

Free Kobo reading app

Synopsis

About this book

Language:English
ISBN:9780191627880
Release date:Mar 29, 2012
Publisher:OUP Oxford

Imprint:OUP Oxford
File format:EPUB2
File size:34.38 MB
Download options:EPUB2 (Adobe DRM)

Related Reads

One Hundred Prisoners and a Light Bulb

Hans van Ditmarsch, Barteld Kooi, Elancheziyan

R 356,14

Set Theory

Abhijit Dasgupta

R 1 424,95

Probability Logics

Zoran Ognjanović, Miodrag Rašković, Zoran Marković

R 2 137,49

Structural Analysis of Non-Classical Logics

Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin

R 1 603,09

Hybrid Logic and its Proof-Theory

Torben Braüner

R 1 603,09

Proof, Computation and Agency

Johan van Benthem, Amitabha Gupta, Rohit Parikh

R 2 493,76

Truth and Falsehood

Yaroslav Shramko, Heinrich Wansing

R 1 603,09

The Argument of Mathematics

Andrew Aberdein, Ian J Dove

R 1 603,09

Dependence Logic

Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer

R 890,55

Rohit Parikh on Logic, Language and Society

Can Başkent, Lawrence S. Moss, Ramaswamy Ramanujam

R 1 781,22

David Makinson on Classical Methods for Non-Classical Problems

Sven Ove Hansson

R 2 493,76

J. Michael Dunn on Information Based Logics

Katalin Bimbo

R 1 603,09

Johan van Benthem on Logic and Information Dynamics

Alexandru Baltag, Sonja Smets

R 3 562,69

Belief Revision in Non-Classical Logics

Márcio Moretto Ribeiro

R 890,55

Natural Deduction, Hybrid Systems and Modal Logics

Andrzej Indrzejczak

R 3 901,25

Paraconsistency: Logic and Applications

Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli

R 1 603,09

Advances in Natural Deduction

Luiz Carlos Pereira, Valeria de Paiva, Edward Haeusler

R 2 137,49

Philosophical Logic: Current Trends in Asia

Hiroakira Ono, Syraya Chin-Mu Yang, Kok Yong Lee

R 2 493,76

Visual Reasoning with Diagrams

Amirouche Moktefi, Sun-Joo Shin

R 1 603,09

Dual Tableaux: Foundations, Methodology, Case Studies

Ewa Orlowska, Joanna Golińska Pilarek

R 2 493,76

Descriptor Revision

Sven Ove Hansson

R 890,55

Conditionals and Modularity in General Logics

Dov M. Gabbay, Karl Schlechta

R 1 603,09

Meaning and Proscription in Formal Logic

Thomas Macaulay Ferguson

R 890,55

Intuitionistic Proof Versus Classical Truth

Enrico Martino

R 1 603,09

A New Perspective on Nonmonotonic Logics

Dov M. Gabbay, Karl Schlechta

R 1 603,09

Freedom and Enforcement in Action

Janusz Czelakowski

R 890,55

Neighborhood Semantics for Modal Logic

Eric Pacuit

R 712,41

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

Lutz Geldsetzer, Richard L. Schwartz

R 1 959,36

Facets of Uncertainties and Applications

Andrzej Skowron, Manoranjan Maiti, Samarjit Kar, Mihir K. Chakraborty

R 1 603,09

Objectivity, Realism, and Proof

Francesca Boccuni, Andrea Sereni

R 2 137,49

Russell's Philosophy of Logical Analysis, 1897-1905

J. Galaugher

R 890,55

Internal Logic

Y. Gauthier

R 1 603,09

Philosophy of Mathematics Today

György Darvas, E. Agazzi

R 1 603,09

Automated Theorem Proving in Software Engineering

D. Loveland, Johann M. Schumann

R 890,55

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

R 890,55

Games, Norms and Reasons

Johan van Benthem, Amitabha Gupta, Eric Pacuit

R 1 603,09

A Beginner's Guide to Finite Mathematics

W.D. Wallis

R 1 246,82

The Logic of Time

Johan van Benthem

R 1 781,22

Leo Esakia on Duality in Modal and Intuitionistic Logics

Guram Bezhanishvili

R 1 603,09

Truthlikeness

I. Niiniluoto

R 3 723,11

Towards a General Theory of Classifications

Daniel Parrochia, Pierre Neuville

R 1 603,09

Mathematical Intuition

R.L. Tieszen

R 3 384,55

Logic, Mathematics, Philosophy, Vintage Enthusiasms

Peter Clark, David DeVidi, Michael Hallett

R 2 493,76

Doing Worlds with Words

J. Peregrin

R 1 603,09

Formal Methods: Foundations and Applications

Thierry Lecomte, Leila Ribeiro

R 890,55

Hermann Günther Graßmann (1809-1877): Visionary Mathematician, Scientist and Neohumanist Scholar

Gert Schubring

R 3 562,69

Reasoning and Unification over Conceptual Graphs

Dan Corbett

R 1 603,09

Did you like the book?

Be the first to rate and review this book!

This is our South Africa store.

Computability and Randomness

Why read with us?

Synopsis

About this book

Book details

How to read

Related Reads

One Hundred Prisoners and a Light Bulb

Set Theory

Probability Logics

Structural Analysis of Non-Classical Logics

Hybrid Logic and its Proof-Theory

Proof, Computation and Agency

Truth and Falsehood

The Argument of Mathematics

Dependence Logic

Rohit Parikh on Logic, Language and Society

David Makinson on Classical Methods for Non-Classical Problems

J. Michael Dunn on Information Based Logics

Johan van Benthem on Logic and Information Dynamics

Belief Revision in Non-Classical Logics

Natural Deduction, Hybrid Systems and Modal Logics

Paraconsistency: Logic and Applications

Advances in Natural Deduction

Philosophical Logic: Current Trends in Asia

Visual Reasoning with Diagrams

Dual Tableaux: Foundations, Methodology, Case Studies

Descriptor Revision

Conditionals and Modularity in General Logics

Meaning and Proscription in Formal Logic

Intuitionistic Proof Versus Classical Truth

A New Perspective on Nonmonotonic Logics

Freedom and Enforcement in Action

Neighborhood Semantics for Modal Logic

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

Facets of Uncertainties and Applications

Objectivity, Realism, and Proof

Russell's Philosophy of Logical Analysis, 1897-1905

Internal Logic

Philosophy of Mathematics Today

Automated Theorem Proving in Software Engineering

Formal Aspects of Component Software

Games, Norms and Reasons

A Beginner's Guide to Finite Mathematics

The Logic of Time

Leo Esakia on Duality in Modal and Intuitionistic Logics

Truthlikeness

Towards a General Theory of Classifications

Mathematical Intuition

Logic, Mathematics, Philosophy, Vintage Enthusiasms

Doing Worlds with Words

Formal Methods: Foundations and Applications

Hermann Günther Graßmann (1809-1877): Visionary Mathematician, Scientist and Neohumanist Scholar

Reasoning and Unification over Conceptual Graphs

Did you like the book?

eBooks

Audiobooks

Why read with us?

Related Reads

One Hundred Prisoners and a Light Bulb

Set Theory

Probability Logics

Structural Analysis of Non-Classical Logics

Hybrid Logic and its Proof-Theory

Proof, Computation and Agency

Truth and Falsehood

The Argument of Mathematics

Dependence Logic

Rohit Parikh on Logic, Language and Society

David Makinson on Classical Methods for Non-Classical Problems

J. Michael Dunn on Information Based Logics

Johan van Benthem on Logic and Information Dynamics

Belief Revision in Non-Classical Logics

Natural Deduction, Hybrid Systems and Modal Logics

Paraconsistency: Logic and Applications

Advances in Natural Deduction

Philosophical Logic: Current Trends in Asia

Visual Reasoning with Diagrams

Dual Tableaux: Foundations, Methodology, Case Studies