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

Recursion Theory

Lecture Notes in Logic 1

Joseph R. Shoenfield

Buy the eBook

R 1 436,49

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:9781351419413
Release date:Sep 23, 2023
Publisher:CRC Press

Imprint:A K Peters/CRC Press
File format:EPUB3
File size:2.73 MB
Download options:EPUB3 (Adobe DRM)

Related Reads

An Introduction to Non-Classical Logic

Graham Priest

R 861,11

Introduction to the Analysis of Algorithms, An

Robert Sedgewick, Philippe Flajolet

R 1 177,24

Logic in Computer Science

Michael Huth, Mark Ryan

R 1 250,96

Computability Theory

Herbert B. Enderton

R 1 111,10

A New Introduction to Modal Logic

M.J. Cresswell, G.E. Hughes

R 1 282,55

Computability and Logic

George S. Boolos, John P. Burgess, Richard C. Jeffrey

R 714,83

Understanding Minimalism

Norbert Hornstein, Jairo Nunes, Kleanthes K. Grohmann

R 1 315,93

Beginner's Further Guide To Mathematical Logic, A

Raymond M Smullyan

R 290,59

Fathoming Gödel

Jim Spinosa

Free

Practical Foundations for Programming Languages

Robert Harper

R 1 510,86

A Theory of Syntax

Norbert Hornstein

R 877,32

Modal Logic

Nino B. Cocchiarella, Max A. Freund

R 917,34

An Introduction to Number Theory with Cryptography

James Kraft, Lawrence Washington

R 1 333,86

Practical Foundations for Programming Languages

Robert Harper

R 1 461,98

Modal Logics and Philosophy

Rod Girle

R 1 128,62

Automated Reasoning

Jasmin Blanchette, Laura Kovács, Dirk Pattinson

Free

Logic Works

Lorne Falkenstein, Scott Stapleford, Molly Kao

R 1 513,46

A First Course in Computational Algebraic Geometry

Wolfram Decker, Gerhard Pfister

R 373,74

Essays in Syntactic Theory

Samuel David Epstein

R 1 590,43

Temporal Logics in Computer Science

Stéphane Demri, Valentin Goranko, Martin Lange

R 2 518,14

Computational Logic and Set Theory

Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo, Martin Davis

R 890,55

Canonical Ramsey Theory on Polish Spaces

Vladimir Kanovei, Marcin Sabok, Jindřich Zapletal

R 2 583,12

Introduction to Logic

Michael Genesereth, Eric Kao

R 382,25

Abstract Algebra

Gary L. Mullen, James A. Sellers

R 1 333,86

Computability

Nigel Cutland

R 1 478,43

Principles of Abstract Interpretation

Patrick Cousot

R 1 299,60

Foundations of Data Exchange

Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak

R 617,42

Introduction To Pseudo-differential Operators, An (3rd Edition)

Man-wah Wong

R 243,79

Towards an Elegant Syntax

Michael Brody

R 641,15

Applied Logic for Computer Scientists

Mauricio Ayala-Rincón, Flávio L. C. de Moura

R 801,54

Mathematical Logic and Theoretical Computer Science

David Kueker

R 7 696,85

Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode

R 890,55

Basic Language Of Mathematics

Juan Jorge Schaffer

R 565,79

Coalgebraic Methods in Computer Science

Marcello M. Bonsangue

R 837,07

Number Theory and its Applications

Satyabrota Kundu, Supriyo Mazumder

R 4 540,89

AUTOMATA THEORY

NA.VIKRAMAN

R 172,01

or Free with Kobo Plus

Logic and Language Models for Computer Science

Dana Richards, Henry Hamburger

R 718,62

Modules and the Structure of Rings

Golan

R 1 770,02

Kripke’s Worlds

Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber

R 1 514,08

Efficient Computation of Argumentation Semantics

Beishui Liao

R 2 093,05

The Whole Truth About Whole Numbers

Sylvia Forman, Agnes M. Rash

R 1 068,68

Algorithms for Constructing Computably Enumerable Sets

Kenneth J. Supowit

R 1 068,68

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Mircea S. Reghis, Eugene Roventa

R 1 513,46

Proofs 101

Joseph Kirtland

R 1 513,46

Galois Representations and (Phi, Gamma)-Modules

Peter Schneider

R 1 234,74

Recent Trends in Algebraic Development Techniques

Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu

R 712,41

Elementary Logic

Robert Lover

R 712,41

Approximate Solutions of Common Fixed-Point Problems

Alexander J. Zaslavski

R 1 781,22

Rewriting Logic and Its Applications

Santiago Escobar, Narciso Martí-Oliet

R 890,55

Relational and Algebraic Methods in Computer Science

Roland Glück, Luigi Santocanale, Michael Winter

R 979,67

Recent Trends in Algebraic Development Techniques

Markus Roggenbach

R 890,55

Set Theory-An Operational Approach

LE Sanchis

R 1 513,46

Natural Deduction, Hybrid Systems and Modal Logics

Andrzej Indrzejczak

R 3 901,25

Programming Languages and Systems

Hongseok Yang

R 1 603,09

Formal Grammar

Annie Foret, Reinhard Muskens, Sylvain Pogodalla

R 712,41

Descriptional Complexity of Formal Systems

Cezar Câmpeanu, Florin Manea, Jeffrey Shallit

R 890,55

Many-Dimensional Modal Logics: Theory and Applications

A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay

R 3 968,85

Introduction to Number Theory

Mark Hunacek

R 1 205,58

Fundamentals of Logic and Computation

Zhe Hou

R 1 068,68

Automated Reasoning

Nicola Olivetti, Ashish Tiwari

R 1 424,95

Automated Reasoning with Analytic Tableaux and Related Methods

Anupam Das, Sara Negri

R 890,55

Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

R 890,55

Automated Reasoning with Analytic Tableaux and Related Methods

Revantha Ramanayake, Josef Urban

Free

Partitions: Optimality And Clustering - Vol Ii: Multi-parameter

Frank Kwang-ming Hwang, Uriel R Rothblum, Hong-bin Chen

R 611,67

Banach Algebras of Ultrametric Functions

Alain Escassut

R 1 437,26

Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode

R 1 335,94

Theory and Applications of Satisfiability Testing – SAT 2016

Nadia Creignou, Daniel Le Berre

R 890,55

More By Author

Mathematical Logic

Joseph R. Shoenfield

R 1 385,18

Did you like the book?

Be the first to rate and review this book!

This is our South Africa store.

Recursion Theory

Why read with us?

Synopsis

About this book

Book details

Accessibility details

How to read

Related Reads

An Introduction to Non-Classical Logic

Introduction to the Analysis of Algorithms, An

Logic in Computer Science

Computability Theory

A New Introduction to Modal Logic

Computability and Logic

Understanding Minimalism

Beginner's Further Guide To Mathematical Logic, A

Fathoming Gödel

Practical Foundations for Programming Languages

A Theory of Syntax

Modal Logic

An Introduction to Number Theory with Cryptography

Practical Foundations for Programming Languages

Modal Logics and Philosophy

Automated Reasoning

Logic Works

A First Course in Computational Algebraic Geometry

Essays in Syntactic Theory

Temporal Logics in Computer Science

Computational Logic and Set Theory

Canonical Ramsey Theory on Polish Spaces

Introduction to Logic

Abstract Algebra

Computability

Principles of Abstract Interpretation

Foundations of Data Exchange

Introduction To Pseudo-differential Operators, An (3rd Edition)

Towards an Elegant Syntax

Applied Logic for Computer Scientists

Mathematical Logic and Theoretical Computer Science

Logical Foundations of Computer Science

Basic Language Of Mathematics

Coalgebraic Methods in Computer Science

Number Theory and its Applications

AUTOMATA THEORY

Logic and Language Models for Computer Science

Modules and the Structure of Rings

Kripke’s Worlds

Efficient Computation of Argumentation Semantics

The Whole Truth About Whole Numbers

Algorithms for Constructing Computably Enumerable Sets

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Proofs 101

Galois Representations and (Phi, Gamma)-Modules

Recent Trends in Algebraic Development Techniques

Elementary Logic

Approximate Solutions of Common Fixed-Point Problems

Rewriting Logic and Its Applications

Relational and Algebraic Methods in Computer Science

Recent Trends in Algebraic Development Techniques

Set Theory-An Operational Approach

Natural Deduction, Hybrid Systems and Modal Logics

Programming Languages and Systems

Formal Grammar

Descriptional Complexity of Formal Systems

Many-Dimensional Modal Logics: Theory and Applications

Introduction to Number Theory

Fundamentals of Logic and Computation

Automated Reasoning

Automated Reasoning with Analytic Tableaux and Related Methods

Logic for Programming, Artificial Intelligence, and Reasoning

Automated Reasoning with Analytic Tableaux and Related Methods

Partitions: Optimality And Clustering - Vol Ii: Multi-parameter

Banach Algebras of Ultrametric Functions

Logical Foundations of Computer Science

Theory and Applications of Satisfiability Testing – SAT 2016

More By Author

Mathematical Logic

Did you like the book?

eBooks