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

Circumscription and generic mathematical objects

by Bertossi, Leopoldo, E.

1992Definability theory (Mathematical logic)Artificial intelligence
0.0
Open Library
Open Library

Themes & subjects

Definability theory (Mathematical logic)Artificial intelligence
First published 1992

Author

Bertossi, Leopoldo, E.

First published

1992

Pages

15

Read time

≈ 0h

Editions

1

Language

English

Publisher

Computer Science Department, University of Toronto

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

Interpolation and definability

Definability theory (Mathematical logic) · Interpolation

Interpolation and definability

Dov M. Gabbay

2005

Definability and computability

Definability theory (Mathematical logic) · Computable functions

Definability and computability

I͡Uriĭ Leonidovich Ershov

1996

Opredelimostʹ i vychislimostʹ

Definability theory (Mathematical logic) · Computable functions

Opredelimostʹ i vychislimostʹ

I͡Uriĭ Leonidovich Ershov

1996

Definability and Computability (Siberian School of Algebra and Logic)

Definability theory (Mathematical logic) · Computable functions

Definability and Computability (Siberian School of Algebra and Logic)

Yuri L. Ershov

1996

Ender's Game

New York Times bestseller · nyt:mass_market_paperback=2011-07-30

Ender's Game

Orson Scott Card

1985

I, Robot

smear campaigns · supercomputers

I, Robot

Isaac Asimov

1950

A Torre Negra

thrillers · supernatural

A Torre Negra

Stephen King

1991

Prey

programmers · nanorobotics

Prey

Michael Crichton

2002

The moon is a harsh mistress

Fiction, science fiction, general · Stone, hazel (fictitious character), fiction

The moon is a harsh mistress

Robert A. Heinlein

1965

Artificial Intelligence

problem solving · constraint satisfaction

Artificial Intelligence

Stuart J. Russell

1994

Computational Linguistics and Intelligent Text Processing

Data Mining and Knowledge Discovery · Database management

Computational Linguistics and Intelligent Text Processing

Alexander Gelbukh

2003

Artificial Intelligence Applications and Innovations

Artificial intelligence · Technological innovations

Artificial Intelligence Applications and Innovations

Lazaros S. Iliadis

2006

Artificial Intelligence and Soft Computing

Computer Imaging, Vision, Pattern Recognition and Graphics · Database management

Artificial Intelligence and Soft Computing

Leszek Rutkowski

2012

Intelligent Robotics and Applications

Computer vision · Information systems

Intelligent Robotics and Applications

Honghai Liu

2010

Pattern Recognition

Pattern perception · Image Processing and Computer Vision

Pattern Recognition

Cheng-Lin Liu

2012

Transactions on Intelligent Welding Manufacturing

Welding, automation · Welding

Transactions on Intelligent Welding Manufacturing

Shanben Chen

2017

Klara and the Sun

Fiction, science fiction, general · speculative fiction

Klara and the Sun

Kazuo Ishiguro

2019

Gödel, Escher, Bach

Logics · Teoria Do Conhecimento

Gödel, Escher, Bach

Douglas R. Hofstadter

1979