VTLS Chameleon iPortal List of Titles

Active Filter Settings

No Active Filters

Recommended Reading

Clear Subset

You searched IISERK - Cross Reference: Logic.

previous set

Records 1 through 10 of 77

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

Request
Call No.	160
Author	Straßer, Christian. author.
Title	Adaptive Logics for Defeasible Reasoning [electronic resource] : Applications in Argumentation, Normative Reasoning and Default Reasoning / by Christian Straßer.
Material	XVIII, 438 p. 34 illus. online resource.
Series Stmt	Trends in Logic, Studia Logica Library, 38
Subject	Philosophy.
Subject	Logic.
Subject	Philosophy and science.
Added Entry	SpringerLink (Online service)

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

Request
Call No.	511.3
Call No.	511.3
Title	Advances in Mathematical Logic [electronic resource] : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka.
Edition	1st ed. 2021.
Material	XI, 229 p. 10 illus. online resource.
Series Stmt	Springer Proceedings in Mathematics & Statistics, 369
Subject	Mathematical logic.
Subject	Computer arithmetic and logic units.
Subject	Computer science—Mathematics.
Added Entry	Arai, Toshiyasu. editor.
Added Entry	Kikuchi, Makoto. editor.

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

Request
Call No.	160
Title	Advances in Natural Deduction [electronic resource] : A Celebration of Dag Prawitz's Work / edited by Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva.
Material	XVI, 279 p. 24 illus. online resource.
Series Stmt	Trends in Logic, Studia Logica Library, 39
Subject	Philosophy.
Subject	Logic.
Subject	Logic, Symbolic and mathematical.
Added Entry	Pereira, Luiz Carlos. editor.
Added Entry	Haeusler, Edward Hermann. editor.

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

Request
Call No.	160
Title	Advances in Proof-Theoretic Semantics [electronic resource] / edited by Thomas Piecha, Peter Schroeder-Heister.
Material	VI, 283 p. online resource.
Series Stmt	Trends in Logic, Studia Logica Library, 43
Subject	Philosophy.
Subject	Logic.
Subject	Logic, Symbolic and mathematical.
Added Entry	Piecha, Thomas. editor.
Added Entry	Schroeder-Heister, Peter. editor.

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

Request
Call No.	511.3
Title	Advances in Proof Theory [electronic resource] / edited by Reinhard Kahle, Thomas Strahm, Thomas Studer.
Material	XII, 425 p. 10 illus. online resource.
Series Stmt	Progress in Computer Science and Applied Logic, 28
Subject	Mathematics.
Subject	Logic.
Subject	Logic, Symbolic and mathematical.
Added Entry	Kahle, Reinhard. editor.
Added Entry	Strahm, Thomas. editor.

6
full
items(1)
marc Add To Subset
Select to add record to cart

Number Available: 1

Available At: IISER-K

Request
Call No.	501 ALQ0
Title	Alternative logics : do sciences need them? / Paul Weingartner, ed.
Material	xvii, 367 p. : illustrations ; 24 cm.
Subject	Logic.
Subject	Science Philosophy.
Added Entry	Weingartner, Paul, editor.

7
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

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

Request
Call No.	160
Author	Amer, Mohamed A. author.
Title	Aristotelian Assertoric Syllogistic [electronic resource] : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic / by Mohamed A. Amer.
Edition	1st ed. 2021.
Material	XVI, 98 p. online resource.
Series Stmt	SpringerBriefs in Philosophy,
Subject	Logic.
Subject	Logic.
Subject	Formal Logic.
Added Entry	SpringerLink (Online service)

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

Request
Call No.	511.3
Author	Béziau, Jean-Yves. editor.
Title	Around and Beyond the Square of Opposition [electronic resource] / edited by Jean-Yves Béziau, Dale Jacquette.
Material	X, 379p. 152 illus., 19 illus. in color. online resource.
Series Stmt	Studies in Universal Logic
Subject	Mathematics.
Subject	Logic.
Subject	Logic, Symbolic and mathematical.
Added Entry	Jacquette, Dale. editor.
Added Entry	SpringerLink (Online service)
Link	Online book

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

Request
Call No.	160
Title	Contradictions, from Consistency to Inconsistency [electronic resource] / edited by Walter Carnielli, Jacek Malinowski.
Edition	1st ed. 2018.
Material	VI, 322 p. 31 illus. online resource.
Series Stmt	Trends in Logic, Studia Logica Library, 47
Subject	Logic.
Subject	Ontology.
Subject	Mathematical logic.
Added Entry	Carnielli, Walter. editor.
Added Entry	Malinowski, Jacek. editor.

previous set

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