Skip to main content
Anna Centenary Library
Lists
Public lists
கணினி1
View all
Your cookies
Search history
Clear
Search the Library Catalogue
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Accession No.
Go
Advanced search
Search
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Go
Advanced search
Authority search
Tag cloud
Library
Log in to your account
×
Login:
Password:
Home
Details for:
Logic Colloquium 2005 : proceedings of the annual European summer meeting of the association for symbolic logic, held in Athens, Greece, July 28-August 3, 2005
Image from Google Jackets
Normal view
MARC view
ISBD view
Logic Colloquium 2005 : proceedings of the annual European summer meeting of the association for symbolic logic, held in Athens, Greece, July 28-August 3, 2005
edited by Costas Dimitracopoulos ... [et al.]
Contributor(s):
Dimitracopoulos, Costas
Association for Symbolic Logic, Logic Colloquium (2005 : Athens, Greece)
Publication details:
Cambridge
Cambridge University Press
2008
Description:
xiii, 272 p. ; 24 cm
ISBN:
9780521884259
ISSN:
2007025541
Subject(s):
Logic, Symbolic and mathematical - Congresses
DDC classification:
511.3 DIM
Item type:
Books
Tags from this library:
No tags from this library for this title.
Star ratings
1
2
3
4
5
Cancel rating.
Average rating: 0.0 (0 votes)
Holdings
( 1 )
Title notes ( 1 )
Comments ( 0 )
Holdings
Current library
Call number
Status
Date due
Barcode
Anna Centenary Library
511.3 DIM (
Browse shelf
(Opens below)
)
Available
95165
Browsing Anna Centenary Library shelves
Close shelf browser
(Hides shelf browser)
Previous
No cover image available
No cover image available
Next
511.3 DEL
A profile of mathematical logic
511.3 DEW
Structure and Equivalence
511.3 DIE
Nonstandard analysis in practice
511.3 DIM
Logic Colloquium 2005 : proceedings of the annual European summer meeting of the association for symbolic logic, held in Athens, Greece, July 28-August 3, 2005
511.3 DOW
Parameterized complexity
511.3 DTO
Mathematical theory of domains
511.3 DUM
Transition to higher mathematics : structure and proof
Includes bibliographical references
There are no comments on this title.
Log in to your account
to post a comment.
Print
Save record
BIBTEX
Dublin Core
MARCXML
MARC (non-Unicode/MARC-8)
MARC (Unicode/UTF-8)
MARC (Unicode/UTF-8, Standard)
MODS (XML)
RIS
ISBD
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Open Library (openlibrary.org)
Exporting to Dublin Core...
×
Simple DC-RDF
OAI-DC
SRW-DC
×
Find us on the map
Powered by
Koha