Chapter: Computability and Computable Models

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Mathematical Problems from Applied Logic II: Logics for the XXIst Century > Computability and Computable Models

Mathematical Problems from Applied Logic II: Logics for the XXIst Century |

Dov Gabbay; Sergei Goncharov; Michael Zakharyaschev

Springer New York

Mathematical Problems from Applied Logic II: Logics for the XXIst Century

Computability and Computable Models

Chapter Info

Authors

Sergei S. Goncharov

ARI Id

1664089420093_293452

Access

Not Available Free

Pages

99-216

DOI

10.1007/978-0-387-69245-6_3

Chapter URL

https://rd.springer.com/chapter/10.1007/978-0-387-69245-6_3

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

«
‹
›
»

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

«
‹
›
»

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

«
‹
›
»

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

«
‹
›
»

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

«
‹
›
»

Table of Contents of Book

entries per page

Filter:

Showing 1 to 8 of 8 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter		i-xxix
On Two Models of Provability	Sergei Artemov	1-52
Directions for Computability Theory Beyond Pure Mathematical	John Case	53-98
Computability and Computable Models	Sergei S. Goncharov	99-216
First-Order Logic Foundation of Relativity Theories	Judit X. Madarász; István Németi; Gergely Székely	217-252
Beyond Hybrid Systems	Anil Nerode	253-266
Region-Based Theory of Space: Algebras of Regions, Representation Theory, and Logics	Dimiter Vakarelov	267-348
Back Matter		349-351
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 8 of 8 entries

«
‹
1
›
»

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

«
‹
›
»

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

«
‹
›
»

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

«
‹
›
»

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries

«
‹
›
»

Similar Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

«
‹
›
»

Similar Article Headings

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

«
‹
›
»