Explore: Definability Theory (mathematical Logic)
Discover books, insights, and more — all in one place.
Learn more about Definability Theory (mathematical Logic) with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “definability-theory-%28mathematical-logic%29”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Admissible Sets, and Structures
By K. J. Barwise and Barwise, Jon.
“Admissible Sets, and Structures” Metadata:
- Title: ➤ Admissible Sets, and Structures
- Authors: K. J. BarwiseBarwise, Jon.
- Language: English
- Number of Pages: Median: 394
- Publisher: Springer-Verlag - Springer
- Publish Date: 1975 - 1976
- Publish Location: New York - Berlin
“Admissible Sets, and Structures” Subjects and Themes:
- Subjects: ➤ Definability theory (Mathematical logic) - Admissible sets - Admissible sets.
Edition Identifiers:
- The Open Library ID: OL5206961M - OL7442543M
- Library of Congress Control Number (LCCN): 75033102
- All ISBNs: 0387074511 - 9780387074511
Access and General Info:
- First Year Published: 1975
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Admissible Sets, and Structures at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Definability and Computability (Siberian School of Algebra and Logic)
By Yuri L. Ershov
“Definability and Computability (Siberian School of Algebra and Logic)” Metadata:
- Title: ➤ Definability and Computability (Siberian School of Algebra and Logic)
- Author: Yuri L. Ershov
- Language: English
- Number of Pages: Median: 284
- Publisher: Springer
- Publish Date: 1996
“Definability and Computability (Siberian School of Algebra and Logic)” Subjects and Themes:
- Subjects: ➤ Definability theory (Mathematical logic) - Computable functions
Edition Identifiers:
- The Open Library ID: OL10322153M
- Library of Congress Control Number (LCCN): 96017132
- All ISBNs: 0306110393 - 9780306110399
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Definability and Computability (Siberian School of Algebra and Logic) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Interpolation and definability
By Dov M. Gabbay
“Interpolation and definability” Metadata:
- Title: Interpolation and definability
- Author: Dov M. Gabbay
- Language: English
- Number of Pages: Median: 508
- Publisher: Clarendon Press
- Publish Date: 2005
- Publish Location: Oxford - New York
“Interpolation and definability” Subjects and Themes:
- Subjects: ➤ Definability theory (Mathematical logic) - Interpolation - Modality (Logic) - Logic
Edition Identifiers:
- The Open Library ID: OL3436053M
- Online Computer Library Center (OCLC) ID: 58998771
- Library of Congress Control Number (LCCN): 2005279952
- All ISBNs: 9780198511748 - 0198511744
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Interpolation and definability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Implizit definierte Mengensysteme
By Hans Leiss
“Implizit definierte Mengensysteme” Metadata:
- Title: ➤ Implizit definierte Mengensysteme
- Author: Hans Leiss
- Language: ger
- Number of Pages: Median: 159
- Publisher: publisher not identified
- Publish Date: 1983
- Publish Location: Bonn
“Implizit definierte Mengensysteme” Subjects and Themes:
- Subjects: ➤ Topology - Definability theory (Mathematical logic)
Edition Identifiers:
- The Open Library ID: OL52400927M
- Online Computer Library Center (OCLC) ID: 10473968
Access and General Info:
- First Year Published: 1983
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Implizit definierte Mengensysteme at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Mathematical definability and the paradoxes
By Ralph Gregory Taylor
“Mathematical definability and the paradoxes” Metadata:
- Title: ➤ Mathematical definability and the paradoxes
- Author: Ralph Gregory Taylor
- Language: English
- Number of Pages: Median: 409
- Publish Date: 1983
“Mathematical definability and the paradoxes” Subjects and Themes:
- Subjects: ➤ Definability theory (Mathematical logic) - Paradox - Logic
- People: Bertrand Russell (1872-1970) - Henri Poincaré (1854-1912)
Edition Identifiers:
- The Open Library ID: OL43671528M
- Online Computer Library Center (OCLC) ID: 82324038 - 80179783
Access and General Info:
- First Year Published: 1983
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Mathematical definability and the paradoxes at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Definability and computability
By I͡Uriĭ Leonidovich Ershov
“Definability and computability” Metadata:
- Title: Definability and computability
- Author: I͡Uriĭ Leonidovich Ershov
- Language: English
- Number of Pages: Median: 264
- Publisher: Consultants Bureau
- Publish Date: 1996
- Publish Location: New York
“Definability and computability” Subjects and Themes:
- Subjects: ➤ Definability theory (Mathematical logic) - Computable functions
Edition Identifiers:
- The Open Library ID: OL979694M
- Library of Congress Control Number (LCCN): 96017132
- All ISBNs: 9780306110399 - 0306110393
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Definability and computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Circumscription and generic mathematical objects
By Bertossi, Leopoldo, E.
“Circumscription and generic mathematical objects” Metadata:
- Title: ➤ Circumscription and generic mathematical objects
- Author: Bertossi, Leopoldo, E.
- Language: English
- Number of Pages: Median: 15
- Publisher: ➤ Computer Science Department, University of Toronto
- Publish Date: 1992
- Publish Location: Toronto, Ont
“Circumscription and generic mathematical objects” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL21125522M
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Circumscription and generic mathematical objects at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Admissible sets and structures
By Jon Barwise
“Admissible sets and structures” Metadata:
- Title: Admissible sets and structures
- Author: Jon Barwise
- Language: English
- Number of Pages: Median: 394
- Publisher: Springer-Verlag
- Publish Date: 1975
- Publish Location: New York - Berlin
“Admissible sets and structures” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL21338226M
- Online Computer Library Center (OCLC) ID: 1733751
- Library of Congress Control Number (LCCN): 75033102
- All ISBNs: 0387074511 - 9780387074511
Access and General Info:
- First Year Published: 1975
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Admissible sets and structures at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Aspects of definability
By Veikko Rantala
“Aspects of definability” Metadata:
- Title: Aspects of definability
- Author: Veikko Rantala
- Language: English
- Number of Pages: Median: 236
- Publisher: ➤ published for Societas Philosophica Fennica by North-Holland
- Publish Date: 1977
- Publish Location: Amsterdam
“Aspects of definability” Subjects and Themes:
- Subjects: ➤ Definability theory (Mathematical logic)
Edition Identifiers:
- The Open Library ID: OL16231671M
- Online Computer Library Center (OCLC) ID: 3857858
- All ISBNs: 9519505377 - 9789519505374
Access and General Info:
- First Year Published: 1977
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Aspects of definability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Bounded arithmetic
By Samuel R. Buss
“Bounded arithmetic” Metadata:
- Title: Bounded arithmetic
- Author: Samuel R. Buss
- Language: English
- Number of Pages: Median: 221
- Publisher: Bibliopolis
- Publish Date: 1986
- Publish Location: Napoli
“Bounded arithmetic” Subjects and Themes:
- Subjects: ➤ Computational complexity - Constructive mathematics - Computable functions - Recursive functions - Symbolic and mathematical Logic - Definability theory (Mathematical logic) - Proof theory - Arithmetic, problems, exercises, etc. - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL2440219M
- Online Computer Library Center (OCLC) ID: 17649713
- Library of Congress Control Number (LCCN): 87134102
- All ISBNs: 8870881504 - 9788870881509
Access and General Info:
- First Year Published: 1986
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Bounded arithmetic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Opredelimostʹ i vychislimostʹ
By I͡Uriĭ Leonidovich Ershov
“Opredelimostʹ i vychislimostʹ” Metadata:
- Title: Opredelimostʹ i vychislimostʹ
- Author: I͡Uriĭ Leonidovich Ershov
- Language: rus
- Number of Pages: Median: 286
- Publisher: Nauch. kniga
- Publish Date: 1996
- Publish Location: Novosibirsk
“Opredelimostʹ i vychislimostʹ” Subjects and Themes:
- Subjects: ➤ Definability theory (Mathematical logic) - Computable functions
Edition Identifiers:
- The Open Library ID: OL495109M
- Library of Congress Control Number (LCCN): 98228403
- All ISBNs: 5881190076 - 9785881190071
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Opredelimostʹ i vychislimostʹ at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Filters and ultrafilters over definable subsets of admissible ordinals
By J. C. M. Baeten
“Filters and ultrafilters over definable subsets of admissible ordinals” Metadata:
- Title: ➤ Filters and ultrafilters over definable subsets of admissible ordinals
- Author: J. C. M. Baeten
- Language: English
- Number of Pages: Median: 77
- Publisher: ➤ Centrum voor Wiskunde en Informatica
- Publish Date: 1986
- Publish Location: Amsterdam, The Netherlands
“Filters and ultrafilters over definable subsets of admissible ordinals” Subjects and Themes:
- Subjects: ➤ Admissible sets - Definability theory (Mathematical logic) - Filters (Mathematics) - Ultrafilters (Mathematics)
Edition Identifiers:
- The Open Library ID: OL14275286M
- Online Computer Library Center (OCLC) ID: 14151118
- All ISBNs: 906196301X - 9789061963011
Author's Alternative Names:
"Jos C. M. Baeten", "Josephus C.M. Baeten" and "Josephus Cornelis Maria Baeten"Access and General Info:
- First Year Published: 1986
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Filters and ultrafilters over definable subsets of admissible ordinals at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.