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
Recommended Reading
Sort by:
Ascending Descending
   Clear Subset
You searched IISERK - Studies in logic and the foundations of mathematics,
previous set | 1 2 | next set
Records 1 through 10 of 20
1
full
marc Add To Subset
Select to add record to cart
Request
Call No. 511.3
Author Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Title Admissibility of logical inference rules [electronic resource] / Vladimir V. Rybakov.
Publisher Amsterdam ; New York : Elsevier, 1997.
Material 617 p. : ill. ; 24 cm.
Series Stmt Studies in logic and the foundations of mathematics ; v. 136
Subject Logic, Symbolic and mathematical.
Subject Inference.
Subject Logica matematica
Added Entry ScienceDirect (Online service)
Link An electronic book accessible through the World Wide Web; click for information ScienceDirect
Link Publisher description


 
2
full
marc Add To Subset
Select to add record to cart
Request
Call No. 511.3
Author Jacobs, Bart.
Title Categorical logic and type theory [electronic resource] / Bart Jacobs.
Edition 1st ed.
Publisher Amsterdam ; New York : Elsevier Science, c1999.
Material xviii, 760 p. : ill. ; 23 cm.
Series Stmt Studies in logic and the foundations of mathematics ; v. 141
Subject Type theory.
Subject Categories (Mathematics)
Subject Types, Théorie des.
Added Entry ScienceDirect (Online service)
Link An electronic book accessible through the World Wide Web; click for information ScienceDirect


 
3
full
marc Add To Subset
Select to add record to cart
Request
Call No. 511.3
Author Odifreddi, Piergiorgio, 1950-
Title Classical recursion theory [electronic resource] : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi.
Publisher Amsterdam ; New York : North-Holland ; New York, N.Y., USA : Sole distributors for the USA and Canada, Elsevier Science Pub. Co., 1989-1999.
Material 2 v. : ill. ; 23 cm.
Series Stmt Studies in logic and the foundations of mathematics ; v. 125, 143
Subject Recursion theory.
Subject Récursivité, Théorie de la.
Subject Récursivité, Théorie de la
Added Entry ScienceDirect (Online service)
Link An electronic book accessible through the World Wide Web; click for information ScienceDirect
Link Publisher description
Link Table of contents only


 
4
full
marc Add To Subset
Select to add record to cart
Request
Call No. 511.3
Author Ash, C. J.
Title Computable structures and the hyperarithmetical hierarchy [electronic resource] / C.J. Ash, J. Knight.
Edition 1st ed.
Publisher Amsterdam ; New York : Elsevier, 2000.
Material xv, 346 p. ; 24 cm.
Series Stmt Studies in logic and the foundations of mathematics ; v. 144
Subject Computable functions.
Subject Fonctions calculables.
Subject Wiskundige logica.
Added Entry Knight, J. (Julia)
Added Entry ScienceDirect (Online service)
Link An electronic book accessible through the World Wide Web; click for information ScienceDirect
Link Publisher description
Link Table of contents only


 
5
full
marc Add To Subset
Select to add record to cart
Request
Call No. 511.3
Title Handbook of computability theory [electronic resource] / edited by Edward R. Griffor.
Edition 1st ed.
Publisher Amsterdam ; New York : Elsevier, 1999.
Material xii, 727 p. : ill. ; 23 cm.
Series Stmt Studies in logic and the foundations of mathematics ; v. 140
Subject Computable functions.
Subject Fonctions calculables.
Subject Berekenbaarheid.
Added Entry Griffor, Edward R.
Added Entry ScienceDirect (Online service)
Link An electronic book accessible through the World Wide Web; click for information ScienceDirect
Link Publisher description


 
6
full
items(1)
marc Add To Subset
Select to add record to cart
Number Available: 1
Available At: IISER-K
Request
Call No. 511.3 HAL7
Title Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]
Publisher Amsterdam ; London : North-Holland, 1977.
Material xi, 1165 p. : ill. ; 23 cm.
Series Stmt Studies in logic and the foundations of mathematics ; v. 90
Subject Logic, Symbolic and mathematical.
Added Entry Barwise, Jon, ed.
Added Entry Keisler, H. Jerome.


 
7
full
marc Add To Subset
Select to add record to cart
Request
Call No. 511.3
Title Handbook of proof theory [electronic resource] / edited by Samuel R. Buss.
Publisher New York : Elsevier, 1998.
Material 811 p.; 23 cm.
Series Stmt Studies in logic and the foundations of mathematics ; v. 137
Subject Proof theory.
Subject Logica.
Subject Preuve, Théorie de la.
Added Entry Buss, Samuel R.
Added Entry ScienceDirect (Online service)
Link An electronic book accessible through the World Wide Web; click for information ScienceDirect
Link Publisher description
Link Table of contents only


 
8
full
marc Add To Subset
Select to add record to cart
Request
Call No. 511.3/5
Title Handbook of recursive mathematics [electronic resource] / edited by Yu. L. Ershov ... [et al.] ; associate editor, V.M. Marek.
Publisher Amsterdam ; New York : Elsevier, 1998.
Material 2 v. (xlvi, 1372 p.) : ill. ; 24 cm.
Series Stmt Studies in logic and the foundations of mathematics ; v. 138-139
Subject Recursion theory.
Subject Recursivité, Théorie de la.
Subject Electronic books.
Added Entry Ershov, I͡Uriĭ Leonidovich.
Added Entry ScienceDirect (Online service)
Link An electronic book accessible through the World Wide Web; click for information ScienceDirect
Link Table of contents only


 
9
full
marc Add To Subset
Select to add record to cart
Request
Call No. 511.3/5
Title Handbook of recursive mathematics [electronic resource] / edited by Yu. L. Ershov ... [et al.] ; associate editor, V.M. Marek.
Publisher Amsterdam ; New York : Elsevier, 1998.
Material 2 v. (xlvi, 1372 p.) : ill. ; 24 cm.
Series Stmt Studies in logic and the foundations of mathematics ; v. 138-139
Subject Recursion theory.
Subject Recursivité, Théorie de la.
Subject Electronic books.
Added Entry Ershov, I͡Uriĭ Leonidovich.
Added Entry ScienceDirect (Online service)
Link An electronic book accessible through the World Wide Web; click for information ScienceDirect
Link Table of contents only


 
10
full
marc Add To Subset
Select to add record to cart
Request
Call No. 511.3/26
Author Sørensen, Morten Heine.
Title Lectures on the Curry-Howard isomorphism [electronic resource] / Morten Heine Sørensen, Paweł Urzyczyn.
Edition 1st ed.
Publisher Amsterdam ; Boston [MA] : Elsevier, 2006.
Material xiv, 442 p. : ill. ; 24 cm.
Series Stmt Studies in logic and the foundations of mathematics, v. 149
Subject Curry-Howard isomorphism.
Subject Lambda calculus.
Subject Proof theory.
Added Entry Urzyczyn, Paweł.
Added Entry ScienceDirect (Online service)
Link An electronic book accessible through the World Wide Web; click for information ScienceDirect
Link Publisher description


previous set | 1 2 | next set

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