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
Constructive models

Constructive models

by I͡Uriĭ Leonidovich Ershov, Yuri L. Ershov, Sergei S. Goncharov

2000Constructive mathematicsMathematical foundationsMathematical modellingMathematical And Symbolic LogicPhilosophy Of Mathematics
0.0
Open Library
Open Library

Themes & subjects

Constructive mathematicsMathematical foundationsMathematical modellingMathematical And Symbolic LogicPhilosophy Of MathematicsMathematics
First published 2000

Authors

I͡Uriĭ Leonidovich Ershov, Yuri L. Ershov, Sergei S. Goncharov

First published

2000

Pages

306

Read time

≈ 8h

Editions

3

Language

English

Publisher

Springer

ISBN

9781461369325

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

Investigating Mathematics Teaching

Mathematics · Study and teaching

Investigating Mathematics Teaching

Barbara Jaworski

1994

The incompleteness phenomenon

Incompleteness theorems · Constructive mathematics

The incompleteness phenomenon

Martin Goldstern

1995

Logical Foundations of Proof Complexity

Constructive mathematics · Proof theory

Logical Foundations of Proof Complexity

Stephen Cook

2010

Essays in Constructive Mathematics

Constructive mathematics · Algebra

Essays in Constructive Mathematics

Harold M. Edwards

2004

From sets and types to topology and analysis

Congresses · Constructive mathematics

From sets and types to topology and analysis

Peter Schuster

2005

Foundational Theories of Classical and Constructive Mathematics

Mathematics · Philosophy

Foundational Theories of Classical and Constructive Mathematics

Giovanni Sommaruga

2011

Computability and logic

Computable functions · Logic, Symbolic and mathematical

Computability and logic

George Boolos

1974

Combinatorics of symmetric designs

Combinatorial designs and configurations · Mathematical foundations

Combinatorics of symmetric designs

Yuri Ionin

2006

Fading Foundations

Philosophy · Philosophy: epistemology & theory of knowledge

Fading Foundations

David Atkinson

2017

Multivariate approximation theory IV

Approximation theory · Functions of several real variables

Multivariate approximation theory IV

C. K. Chui

1989

Applied theory of functional differential equations

Functional differential equations · Mathematical foundations

Applied theory of functional differential equations

Vladimir Borisovich Kolmanovskiĭ

1992

Trick or Truth?

Mathematical physics · Mathematics, philosophy

Trick or Truth?

Anthony Aguirre

2016

Approximation theory VI

Approximation theory · Congresses

Approximation theory VI

International Symposium on Approximation Theory (6th 1989 Texas A & M University)

1989

Networks and algorithms

Algorithms · Mathematical models

Networks and algorithms

Alan Dolan

1993

Valuation theory and its applications

Valuation theory · Congresses

Valuation theory and its applications

International Conference and Workshop on Valuation Theory (1999 University of Saskatchewan)

2002

Logic, Mathematics, and Computer Science

Logic, symbolic and mathematical · Set theory

Logic, Mathematics, and Computer Science

Yves Nievergelt

2015

A course in approximation theory

Approximation theory · Textbooks

A course in approximation theory

Cheney, E. W.

1999

Logic Colloquium'88

Logic, Symbolic and mathematical · Symbolic and mathematical Logic

Logic Colloquium'88

Logic Colloquium '88 (Padova, Italy)

1989