fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Formal systems and recursive functions

Formal systems and recursive functions

by John N. Crossley, Michael Dummett

Recursive functionsCongressesSymbolic and mathematical Logic
0.0
Open Library
Open Library

Themes & subjects

Recursive functionsCongressesSymbolic and mathematical Logic

About the author

Michael Dummett

1925

Authors

John N. Crossley, Michael Dummett

Pages

320

Read time

≈ 8h

Editions

1

Language

English

Publisher

North-Holland

ISBN

9780444534057

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Computability and logic

Computable functions · Logic, Symbolic and mathematical

Computability and logic

George Boolos

1974

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Algorithms · Computable functions

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Hans Hermes

1961

Recursive macroeconomic theory

Macroeconomics · Recursive functions

Recursive macroeconomic theory

Lars Ljungqvist

2000

Computability & unsolvability

Computable functions · Recursive functions

Computability & unsolvability

Davis, Martin

1958

The calculi of lambda-conversion

Logic, Symbolic and mathematical · Functions

The calculi of lambda-conversion

Alonzo Church

1941

Die iterationen

Probabilities · Recursive functions

Die iterationen

Ladislaus von Bortkiewicz

1917

Theory of recursive functions and effective computability

Computable functions · Recursive functions

Theory of recursive functions and effective computability

Hartley Rogers

1957

Theory of Formal Systems

Metamatemática · Funciones recursivas

Theory of Formal Systems

Raymond M. Smullyan

1961

Robot dynamics algorithms

Dynamics · Recursive functions

Robot dynamics algorithms

Roy Featherstone

1984

Manifest der Kommunistischen Partei

Communism · Sources

Manifest der Kommunistischen Partei

Karl Marx

1848

Nicomachean Ethics

Ethics · Early works to 1800

Nicomachean Ethics

Aristotle

1558

Lord Jim

Fiction · British

Lord Jim

Joseph Conrad

1900

Θεαίτητος

Theory of Knowledge · Ancient Philosophy

Θεαίτητος

Πλάτων

1861

Sartor resartus

Fiction · Philosophers

Sartor resartus

Thomas Carlyle

1800

La nausée

Existentialism · Fiction

La nausée

Jean-Paul Sartre

1938

Rembrandt

Etching · Dutch Painting

Rembrandt

Rembrandt Harmenszoon van Rijn

1900

Capitalism, Socialism and Democracy

Socialism · Democracy

Capitalism, Socialism and Democracy

Joseph Alois Schumpeter

1942

Dicho Y Hecho

English · English speakers

Dicho Y Hecho

Laila M. Dawson

1993