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
Foundations of Logic and Functional Programming Workshop

Foundations of Logic and Functional Programming Workshop

by Foundations of Logic and Functional Programming Workshop (1986 Trento, Italy)

Logique symbolique et mathématiqueSymbolic and mathematical LogicProgrammation logiqueFunctional programming (Computer science)Functionele programmering
0.0
Open Library
Open Library

Themes & subjects

Logique symbolique et mathématiqueSymbolic and mathematical LogicProgrammation logiqueFunctional programming (Computer science)Functionele programmeringCongrès

Setting

Trient <1986>

Author

Foundations of Logic and Functional Programming Workshop (1986 Trento, Italy)

Pages

218

Read time

≈ 5h

Editions

1

Language

English

Publisher

Springer

ISBN

9783540191292

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

Tractatus logico-philosophicus

Analysis (Philosophy) · Language

Tractatus logico-philosophicus

Ludwig Wittgenstein

1921

An Investigation of the Laws of Thought (Barnes & Noble)

Symbolic and mathematical Logic · Thought and thinking

An Investigation of the Laws of Thought (Barnes & Noble)

George Boole

1854

Gödel's proof

Gödel's theorem · Mathematics

Gödel's proof

Ernest Nagel

1958

Artificial Intelligence

problem solving · constraint satisfaction

Artificial Intelligence

Stuart J. Russell

1994

Mathematics and plausible reasoning

Symbolic and mathematical Logic · Textbooks

Mathematics and plausible reasoning

George Pólya

1954

Methods of logic

Logic · Wiskundige logica

Methods of logic

Willard Van Orman Quine

1950

Regulae ad directionem ingenii

Reasoning · Logic, Symbolic and mathematical

Regulae ad directionem ingenii

René Descartes

1899

Discrete Mathematics and Its Applications

Mathematics · Computer science

Discrete Mathematics and Its Applications

Kenneth H. Rosen

1988

Mathematical logic

Logic, Symbolic and mathematical · Symbolic and mathematical Logic

Mathematical logic

Willard Van Orman Quine

1940

Symbolic Logic

Symbolic and mathematical Logic · Logic

Symbolic Logic

Lewis Carroll

1894

Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Applications)

Symbolic and mathematical Logic · Logic, symbolic and mathematical

Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Applications)

Elliott Mendelson

1964

Philosophische Grammatik

Comparative and general Grammar · Grammar, Comparative and general

Philosophische Grammatik

Ludwig Wittgenstein

1960

Infinity and the mind

Infinite · Set theory

Infinity and the mind

Rudy Rucker

1982

The logical syntax of language

Symbolic and mathematical Logic · Logical positivism

The logical syntax of language

Rudolf Carnap

1937

Algèbre de la logique

Algebraic logic · Symbolic and mathematical Logic

Algèbre de la logique

Louis Couturat

1905

The Game of Logic

Symbolic and mathematical Logic · Logic

The Game of Logic

Lewis Carroll

1886

Philosophische Untersuchungen

German Philosophy · Langage et langues

Philosophische Untersuchungen

Ludwig Wittgenstein

1953

Gödel, Escher, Bach

Logics · Teoria Do Conhecimento

Gödel, Escher, Bach

Douglas R. Hofstadter

1979