My Account | Home| Bulletin Board| Cart | Help
Close Session
IISER-KIndian Institute of Science Education & Research - Kolkata
SEARCHES : Browse | Advanced | External Databases | Close Session
Quick Search
Search Terms:
All Documents
Books
Newspapers
Periodicals
Articles
Theses
E-Books
Database : IISERK
Set Session Filters
Login to ask the library to add a book.
Active Filter Settings
No Active Filters
There are 0 titles in your cart.
Search History
Special Collections: Audio Cassettes
Recommended Reading
Sort by:
Ascending Descending
  
You searched IISERK - Title: Horizons of Combinatorics [electronic resource] / edited by Ervin Győri, Gyula O. H. Katona, László Lovász, Gábor Sági.
Records 1 through 5 of 5
1
full
items(1)
marc Add To Subset
Select to add record to cart
Number Available: 1
Available At: IISER-K
Request
Call No. 510 COL6
Author Brazilian Conference on Mathematical Logic 1996 : Salvador, Brazil)
Title Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors.
Publisher Providence, RI : American Mathematical Society, 1999.
Material xi, 326 p. : ill.
Series Stmt Contemporary mathematics ; 235
Subject Computer logic Congresses.
Subject Logic, Symbolic and mathematical Congresses.
Added Entry Carnielli, Walter A. (Walter Alexandre), ed.
Added Entry D'Ottaviano, Itala M. L., 1944-, ed.


 
2
full
items(1)
marc Add To Subset
Select to add record to cart
Number Available: 1
Available At: IISER-K
Request
Call No. 510 LML1
Title Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.
Publisher Cambridge: Cambridge University Press, 1995.
Material vi, 389 p. : ill. ; 23 cm.
Series Stmt London Mathematical Society lecture note series ; 222
Subject Logic, Symbolic and mathematical Congresses.
Added Entry Girard, Jean-Yves.
Added Entry Lafont, Yves.


 
3
full
items(1)
marc Add To Subset
Select to add record to cart
Number Available: 1
Available At: IISER-K
Request
Call No. 510 COL6
Author AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics (1985 : Humboldt State University)
Title Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 / Stephen G. Simpson, editor.
Publisher Providence, R.I. : American Mathematical Society, c1987.
Material xi, 394 p. : ill. ; 26 cm.
Series Stmt Contemporary mathematics, v. 65
Subject Logic, Symbolic and mathematical Congresses.
Subject Combinatorial analysis Congresses.
Added Entry Simpson, Stephen G. (Stephen George), 1945-, ed.
Added Entry American Mathematical Society.


 
4
full
items(1)
marc Add To Subset
Select to add record to cart
Number Available: 1
Available At: IISER-K
Request
Call No. 510 COL6
Author Latin-American Symposium on Mathematical Logic 1985 : State University of Campinas)
Title Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors.
Publisher Providence, R.I. : American Mathematical Society, c1988.
Material xi, 250 p.
Series Stmt Contemporary mathematics, v. 69
Subject Logic, Symbolic and mathematical Congresses.
Added Entry Carnielli, Walter A. (Walter Alexandre), ed.
Added Entry Alcantara, Luiz Paulo de, 1944-, ed.


 
5
full
items(1)
marc Add To Subset
Select to add record to cart
Number Available: 1
Available At: IISER-K
Request
Call No. 510 LML1
Author Logic Colloquium (1997 : Leeds, England)
Title Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss.
Publisher Cambridge ; New York : Cambridge University Press, 1999.
Material ix, 419 p. ; 23 cm.
Series Stmt London Mathematical Society lecture note series ; 259
Subject Logic, Symbolic and mathematical Congresses.
Subject Computable functions Congresses.
Added Entry Cooper, S. B. (S. Barry)
Added Entry Truss, J. K.


 

Keyword Search

 Words: Search Type:
 
 

Database: IISERK

Any filter options that are chosen below will be combined with the Session Filters and applied to the search.
Nature of Contents Filters Format Filters

Including Excluding
Including Excluding
Language Filters Place of Publication Filters

Including Excluding
Including Excluding
Publication Date Context Date
  -     -  

Set Session Filters
Select below to return to the last:
Copyright © 2014 VTLS Inc. All rights reserved.
VTLS.com