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 - Trends in Logic ;
previous set | 1 2 3 | next set
Records 1 through 10 of 26
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
Author Mundici, D.
Title Advanced Łukasiewicz calculus and MV-algebras [electronic resource] / by D. Mundici.
Publisher Dordrecht : Springer Netherlands, 2011.
Material digital.
Series Stmt Trends in Logic ; 35
Subject Mathematics.
Subject Logic, Symbolic and mathematical.
Subject Mathematics.
Added Entry SpringerLink (Online service)
Link Online book


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


 
6
full
marc Add To Subset
Select to add record to cart
Request
Call No. 160
Author Hansson, Sven Ove. author.
Title Descriptor Revision [electronic resource] : Belief Change through Direct Choice / by Sven Ove Hansson.
Edition 1st ed. 2017.
Material XVIII, 239 p. 18 illus. online resource.
Series Stmt Trends in Logic, Studia Logica Library, 46
Subject Logic.
Subject Mathematical logic.
Subject Database management.
Added Entry SpringerLink (Online service)


 
7
full
marc Add To Subset
Select to add record to cart
Request
Call No. 146.4
Title Dialetheism and its Applications [electronic resource] / edited by Adam Rieger, Gareth Young.
Edition 1st ed. 2019.
Material XIII, 176 p. 78 illus. online resource.
Series Stmt Trends in Logic, Studia Logica Library, 52
Subject Analysis (Philosophy).
Subject Historical linguistics.
Subject Game theory.
Added Entry Rieger, Adam. editor.
Added Entry Young, Gareth. editor.


 
8
full
marc Add To Subset
Select to add record to cart
Request
Call No. 511.3
Author Orlowska, Ewa.
Title Dual Tableaux: Foundations, Methodology, Case Studies [electronic resource] / by Ewa Orlowska, Joanna Golińska Pilarek.
Publisher Dordrecht : Springer Netherlands, 2011.
Material digital.
Series Stmt Trends in Logic ; 33
Subject Mathematics.
Subject Logic.
Subject Computer science.
Added Entry Golińska Pilarek, Joanna.
Added Entry SpringerLink (Online service)


 
9
full
marc Add To Subset
Select to add record to cart
Request
Call No. 146.4
Author Pietruszczak, Andrzej. author.
Title Foundations of the Theory of Parthood [electronic resource] : A Study of Mereology / by Andrzej Pietruszczak.
Edition 1st ed. 2020.
Material XXIII, 285 p. 729 illus., 4 illus. in color. online resource.
Series Stmt Trends in Logic, Studia Logica Library, 54
Subject Analysis (Philosophy).
Subject Logic.
Subject Algebra.
Added Entry SpringerLink (Online service)


 
10
full
marc Add To Subset
Select to add record to cart
Request
Call No. 160
Author Czelakowski, Janusz. author.
Title Freedom and Enforcement in Action [electronic resource] : A Study in Formal Action Theory / by Janusz Czelakowski.
Material XV, 261 p. 24 illus. online resource.
Series Stmt Trends in Logic, Studia Logica Library, 42
Subject Philosophy.
Subject Logic.
Subject Logic, Symbolic and mathematical.
Added Entry SpringerLink (Online service)


previous set | 1 2 3 | 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
Copyright © 2014 VTLS Inc. All rights reserved.
VTLS.com