TV Shows Anime Top 250 TV Top 100 Anime

Books Manga Top 125 Books Top 100 Manga

For you Trending Tier Lists The Archive Leaderboard

Log in Sign up free

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

Home FeedProfile

Books · Search

Books by Luke Ong

Computer Science Logic

Logic design · Symbolic and mathematical Logic

Computer Science Logic

2005

Logic, Language, Information and Computation

Mathematical Logic and Formal Languages · Computational complexity

Logic, Language, Information and Computation

2012

Foundations of Software Science and Computational Structures

Logic design · Computer science

Foundations of Software Science and Computational Structures

2010

Typed Lambda Calculi and Applications

Logic design · Symbolic and mathematical Logic

Typed Lambda Calculi and Applications

2011

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

Computer science

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

Giorgio Ausiello

2010

Formal Methods and Software Engineering

Software engineering · Computer science

Formal Methods and Software Engineering

2017