Skip to main content
Resource Centre -- Office of the Registrar of Political Parties
Your cart is empty.
Cart
Lists
Public lists
Governance & Strategic Leadership
View all
Your lists
Log in to create your own lists
Log in to your account
Your cookies
Search history
Clear
Home
OPAC
Online Resources
Print Collection
About Us
Who We Are
Our Background
Our Offices
Our Service Charter
Strategic Plan (2020 - 2025)
Core Values
Top Management
Departments, Sections, and Units
Political Parties
Registration of Political Parties
Registration Process
Mergers, Coalitions and Coalition Political Parties
Regulation and Compliance
Administration of the Political Parties Fund
Governance of Political Parties
Political Parties Structure and Management
Political Party Registration
Rights of a member in a political party
Statutes & Regulations
Constitution of Kenya
Acts, Manuals and Guides
Regulations
Online Services
Membership Processes
Membership portal links
Check Registration status
Membership Registration
Membership Resignation
Political Party Name Search Application
Independent Candidate Clearance
Resource Centre
Media
Gallery
Photos
Videos
Publications
News
Articles on Topical Issues
Gazette Notices
IEC Material
Speeches, Press releases and Statements
Notices and Announcements
Downloads
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Advanced search
Authority search
Tag cloud
Library
Log in to your account
×
Login:
Password:
Home
Advanced search
Results of search for 'se,phr:"De Gruyter Series in Logic and Its Applications Series"'
Refine your search
Availability
Limit to records with available items
Authors
Chong, Chi Tat
Friedman, Sy D.
Woodin, W. Hugh
Yu, Liang
Series
De Gruyter Series in...
Topics
Algebra
Forcing (Model theor...
Mathematics
Model theory
Recursion theory
Recursive functions
Show more
Show less
Your search returned 3 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to...
Cart
[ New list ]
Place hold
Results
1.
Recursion Theory : Computational Aspects of Definability.
by
Chong, Chi Tat
Yu, Liang
Series:
De Gruyter Series in Logic and Its Applications Series
Edition:
1st ed.
Material type:
Text
; Format:
available online
; Literary form:
Not fiction
Publisher:
Berlin/Boston :
Walter de Gruyter GmbH,
2015
Copyright date:
©2015
Online resources:
Click to View
Availability:
No items available.
Add to cart
(remove)
2.
Fine Structure and Class Forcing.
by
Friedman, Sy D
Series:
De Gruyter Series in Logic and Its Applications Series
Edition:
1st ed.
Material type:
Text
; Format:
available online
; Literary form:
Not fiction
Publisher:
Berlin/Boston :
Walter de Gruyter GmbH,
2000
Copyright date:
©2000
Online resources:
Click to View
Availability:
No items available.
Add to cart
(remove)
3.
The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal.
by
Woodin, W. Hugh
Series:
De Gruyter Series in Logic and Its Applications Series
Edition:
1st ed.
Material type:
Text
; Format:
available online
; Literary form:
Not fiction
Publisher:
Berlin/Boston :
De Gruyter, Inc.,
1999
Copyright date:
©1999
Online resources:
Click to View
Availability:
No items available.
Add to cart
(remove)
Pages
© 2024 Resource Centre. All rights reserved.
