Recursion theory

Computability Theory

Herbert B. Enderton

Publisher

Elsevier Science & Technology Books

Published

2017

ISBN

9780128101858

Recursion theory and complexity

Kazan '97 Workshop (1997 Kazanʹ, Russia)

Publisher

W. de Gruyter

Published

1999

ISBN

3110165872

Complexity, Logic, and Recursion Theory

Andrea Sorbi

Publisher

Taylor & Francis Group

Published

2019

ISBN

9780429187490

Recursion Theory for Metamathematics

Raymond M. Smullyan

Publisher

Oxford University Press

Published

1993

ISBN

9781280443374

Fundamentals of computation theory

International FCT-Conference (1st 1977 Poznán, Poland and Kórnik, Poland)

Publisher

Springer-Verlag

Published

1977

ISBN

0387084428

Computability in combinatory spaces

Dimitŭr Genchev Skordev

Publisher

Kluwer Academic Publishers

Published

1992

ISBN

0792315766

Computability theory

Herbert B. Enderton

Publisher

Academic Press

Published

2011

ISBN

9780123849588

Recursion theory for metamathematics

Raymond M. Smullyan

Publisher

Oxford University Press

Published

1993

ISBN

019508232X

Complexity Logic and Recursion Theory

Andrea Sorbi

Publisher

Taylor & Francis Group

Published

2019

ISBN

9781138404106

Complexity, Logic, and Recursion Theory

Andrea Sorbi

Publisher

Taylor & Francis Group

Published

2019

ISBN

9780429544651

Computability and Models

Unknown author

Publisher

Springer

Published

January 31, 2003

ISBN

9780306474002

Recursion theory week

Unknown author

Publisher

Springer-Verlag

Published

1990

ISBN

3540527729

Recursion Theory Week

K. Ambos-Spies

Publisher

Springer

Published

August 1990

ISBN

9780387527727

Computable economics

Kumaraswamy Velupillai

Publisher

Oxford University Press

Published

2000

ISBN

0198295278

Potential wadge classes

Dominique Lecomte

Publisher

American Mathematical Society

Published

2013

ISBN

9780821875575

Computability Theory

Herbert B. Enderton

Publisher

Elsevier Science & Technology Books

Published

2011

ISBN

9780123878366

Computability, Enumerability, Unsolvability

S. B. Cooper

Publisher

Cambridge University Press

Published

2010

ISBN

9780511629167

Recursion Theory Week

H. D. Ebbinghaus

Publisher

Springer

Published

November 1985

ISBN

9780387156736

Transtheoretic foundations of mathematics (general summary of results).

H. A. Pogorzelski

Publisher

Research Institute for Mathematics

Published

1997

ISBN

0964302330

Fundamentals of computation theory

International FCT-Conference (1st 1977 Poznán-Kórnik, Poland)

Publisher

Springer-Verlag

Published

1977

ISBN

3540084428

The recursion method

V. S. Viswanath

Publisher

Springer-Verlag

Published

1994

ISBN

038758319X

Computability, Enumerability, Unsolvability

Unknown author

Publisher

Cambridge University Press

Published

January 26, 1996

ISBN

9780521557368

Initial segments of degrees below 0'

Richard L. Epstein

Publisher

American Mathematical Society

Published

1981

ISBN

0821822411

Subrecursion

H. E. Rose

Publisher

Clarendon Press

Published

1984

ISBN

0198531893

Bounded Queries in Recursion Theory

William I. Gasarch

Publisher

Birkhäuser Boston

Published

1999

ISBN

9781461268482

Recursion Theory, its Generalisations and Applications (London Mathematical Society Lecture Note Series)

Unknown author

Publisher

Cambridge University Press

Published

November 28, 1980

ISBN

9780521235433

Diagonalization and self-reference

Raymond M. Smullyan

Publisher

Clarendon Press

Published

1994

ISBN

0198534507

Transtheoretic foundations of mathematics (general summary of results).

H. A. Pogorzelski

Publisher

Research Institute for Mathematics

Published

2004

ISBN

0964302365

Algorithm design

Marvin C. Paull

Publisher

Wiley

Published

1988

ISBN

0471816884

Computability, enumerability, unsolvability

Unknown author

Publisher

Cambridge University Press

Published

1996

ISBN

0521557364