VTLS Chameleon iPortal List of Titles

Active Filter Settings

No Active Filters

Recommended Reading

Clear Subset

You searched IISERK - Applied Logic Series,

Records 1 through 5 of 5

1
full
marc Add To Subset
Select to add record to cart

Request
Author	Carnielli, Walter.
Title	Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.
Publisher	Dordrecht : Springer Science+Business Media B.V., 2008.
Material	v.: digital
Series Stmt	Applied Logic Series, 35
Subject	Mathematics
Subject	Logic
Subject	Computer science
Added Entry	Coniglio, Marcelo.
Added Entry	Gabbay, Dov M.
Link	Click here to view the Springer eBook

2
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 ANP8
Title	Analysis and synthesis of logics : how to cut and paste reasoning systems / Walter Carnielli ... [et al.].
Publisher	Dordrecht : Springer, c2008.
Material	xvi, 600 p. : ill. ; 25 cm.
Series Stmt	Applied logic series ; v. 35
Subject	Logic, Symbolic and mathematical.
Added Entry	Carnielli, Walter A. (Walter Alexandre)

3
full
marc Add To Subset
Select to add record to cart

Request
Call No.	160
Author	Braüner, Torben.
Title	Hybrid Logic and its Proof-Theory [electronic resource] / by Torben Braüner.
Publisher	Dordrecht : Springer Netherlands, 2011.
Material	digital.
Series Stmt	Applied Logic Series, 37
Subject	Philosophy (General).
Subject	Logic.
Subject	Computer science.
Added Entry	SpringerLink (Online service)

4
full
marc Add To Subset
Select to add record to cart

Request
Author	Kamareddine, Fairouz.
Title	A Modern Perspective on Type Theory [electronic resource] : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt.
Publisher	Dordrecht : Springer Science + Business Media, Inc., 2005.
Material	v.: digital
Series Stmt	Applied Logic Series, 29
Subject	Mathematics
Subject	Logic
Subject	Computer science
Added Entry	Laan, Twan.
Added Entry	Nederpelt, Rob.
Link	Click here to view the Springer eBook

5
full
marc Add To Subset
Select to add record to cart

Request
Author	Metcalfe, George.
Title	Proof Theory for Fuzzy Logics [electronic resource] / by George Metcalfe, Nicola Olivetti, Dov Gabbay.
Publisher	Dordrecht : Springer Netherlands, 2009.
Material	v.: digital
Series Stmt	Applied Logic Series, 36
Subject	Mathematics
Subject	Logic
Subject	Artificial intelligence
Added Entry	Olivetti, Nicola.
Added Entry	Gabbay, Dov.
Link	Click here to view the Springer eBook

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
-	-

Copyright © 2014 VTLS Inc. All rights reserved.



VTLS.com

Keyword Search