My Account
|
Home
|
Bulletin Board
|
Cart
|
Help
IISER-K
Indian 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
Special Collections: Maps
Recommended Reading
Sort by:
None
Title
Author
Call Number
Pub Date (title)
Pub Date (author)
Ascending
Descending
Clear Subset
You searched IISERK - Studies in Universal Logic,
previous set
|
1
2
|
next set
Records 1 through 10 of 18
1
full
marc
Add To Subset
Remove From Subset
Select to add record to cart
Request
Call No.
511.3
Author
Chatti, Saloua. author.
Title
Arabic Logic from al-Fārābī to Averroes [electronic resource] : A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics / by Saloua Chatti.
Edition
1st ed. 2019.
Material
X, 373 p. 371 illus., 1 illus. in color. online resource.
Series Stmt
Studies in Universal Logic,
Subject
Proof theory.
Subject
Mathematics—Philosophy.
Subject
Mathematics.
Added Entry
SpringerLink (Online service)
2
full
marc
Add To Subset
Remove From 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
3
full
marc
Add To Subset
Remove From Subset
Select to add record to cart
Request
Author
Pogorzelski, Witold A.
Title
Completeness Theory for Propositional Logics [electronic resource] / by Witold A. Pogorzelski, Piotr Wojtylak.
Publisher
Basel : Birkhäuser Verlag AG, 2008.
Material
v.: digital
Series Stmt
Studies in Universal Logic
Subject
Mathematics
Subject
Logic, Symbolic and mathematical
Subject
Mathematics
Added Entry
Wojtylak, Piotr.
Added Entry
SpringerLink (Online service)
Link
Click here to view the Springer eBook
4
full
marc
Add To Subset
Remove From Subset
Select to add record to cart
Request
Call No.
511.3
Author
Rasga, João. author.
Title
Decidability of Logical Theories and Their Combination [electronic resource] / by João Rasga, Cristina Sernadas.
Edition
1st ed. 2020.
Material
XIII, 178 p. 70 illus., 1 illus. in color. online resource.
Series Stmt
Studies in Universal Logic,
Subject
Mathematical logic.
Subject
Mathematics—Philosophy.
Subject
Mathematical Logic and Foundations.
Added Entry
Sernadas, Cristina. author.
Added Entry
SpringerLink (Online service)
5
full
marc
Add To Subset
Remove From Subset
Select to add record to cart
Request
Author
Diaconescu, Răzvan.
Title
Institution-independent Model Theory [electronic resource] / by Răzvan Diaconescu.
Publisher
Basel : Birkhäuser Verlag AG, 2008.
Material
v.: digital
Series Stmt
Studies in Universal Logic
Subject
Mathematics
Subject
Logic
Subject
Computer science
Added Entry
SpringerLink (Online service)
Link
Click here to view the Springer eBook
6
full
marc
Add To Subset
Remove From Subset
Select to add record to cart
Request
Call No.
511.3
Author
Gasquet, Olivier. author.
Title
Kripke’s Worlds [electronic resource] : An Introduction to Modal Logics via Tableaux / by Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber.
Material
XV, 198 p. 73 illus. online resource.
Series Stmt
Studies in Universal Logic
Subject
Mathematics.
Subject
Logic, Symbolic and mathematical.
Subject
Mathematics.
Added Entry
Herzig, Andreas. author.
Added Entry
Said, Bilal. author.
7
full
marc
Add To Subset
Remove From Subset
Select to add record to cart
Request
Call No.
510.9
Title
Language, Logic, and Mathematics in Schopenhauer [electronic resource] / edited by Jens Lemanski.
Edition
1st ed. 2020.
Material
VI, 326 p. 72 illus., 31 illus. in color. online resource.
Series Stmt
Studies in Universal Logic,
Subject
Mathematics.
Subject
History.
Subject
Proof theory.
Added Entry
Lemanski, Jens. editor.
Added Entry
SpringerLink (Online service)
8
full
marc
Add To Subset
Remove From Subset
Select to add record to cart
Request
Call No.
511.3
Title
The Life and Work of Leon Henkin [electronic resource] : Essays on His Contributions / edited by María Manzano, Ildikó Sain, Enrique Alonso.
Material
XXII, 351 p. 14 illus., 1 illus. in color. online resource.
Series Stmt
Studies in Universal Logic,
Subject
Mathematics.
Subject
Logic, Symbolic and mathematical.
Subject
History.
Added Entry
Manzano, María. editor.
Added Entry
Sain, Ildikó. editor.
9
full
marc
Add To Subset
Remove From Subset
Select to add record to cart
Request
Call No.
109
Title
Logical Skills [electronic resource] : Social-Historical Perspectives / edited by Julie Brumberg-Chaumont, Claude Rosental.
Edition
1st ed. 2021.
Material
VIII, 172 p. online resource.
Series Stmt
Studies in Universal Logic,
Subject
Philosophy—History.
Subject
Logic.
Subject
Proof theory.
Added Entry
Brumberg-Chaumont, Julie. editor.
Added Entry
Rosental, Claude. editor.
10
full
marc
Add To Subset
Remove From Subset
Select to add record to cart
Request
Call No.
511.3
Title
The Lvov-Warsaw School. Past and Present [electronic resource] / edited by Ángel Garrido, Urszula Wybraniec-Skardowska.
Edition
1st ed. 2018.
Material
XVIII, 815 p. 43 illus., 27 illus. in color. online resource.
Series Stmt
Studies in Universal Logic,
Subject
Mathematical logic.
Subject
Logic.
Subject
Mathematics.
Added Entry
Garrido, Ángel. editor.
Added Entry
Wybraniec-Skardowska, Urszula. editor.
previous set
|
1
2
|
next set
Keyword Search
Words:
Search Type:
Author
Title
Subject
ISBN
ISSN
LCCN
Anywhere
AND
OR
NOT
NEAR
Author
Title
Subject
ISBN
ISSN
LCCN
Anywhere
AND
OR
NOT
Author
Title
Subject
ISBN
ISSN
LCCN
Anywhere
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
None
Abstracts/summaries
Bibliographies
Catalogs
Dictionaries
Directories
Discographies
Encyclopedias
Filmographies
Handbooks
Indexes
Law reports and digests
Legal articles
Legal cases and case notes
Legislation
Programmed texts
Reviews
Statistics
Surveys of literature
Technical reports
Thesis
Treaties
Including
Excluding
None
Archival/Manuscript
Community Information
Community Information - event
Community Information - individual
Community Information - organization
Community Information - program
Computer file
Integrating Resource
Manuscript
Manuscript Serial
Manuscript Serial-Braille
Manuscript Serial-Large print
Manuscript Serial-Microfiche
Manuscript Serial-Microfiche
Manuscript Serial-Microopaque
Manuscript-Braille
Manuscript-Large print
Manuscript-Microfiche
Manuscript-Microfilm
Manuscript-Microopaque
Map
Mixed Material
Mixed Material-Braille
Mixed Material-Large print
Mixed Material-Microfiche
Mixed Material-Microfilm
Mixed Material-Microopaque
Monograph
Monograph-Braille
Monograph-Large print
Monograph-Microfiche
Monograph-Microfilm
Monograph-Microopaque
Music
Music-Braille
Music-Large print
Music-Microfiche
Music-Microfilm
Music-Microopaque
Serial
Serial-Braille
Serial-Large print
Serial-Microfiche
Serial-Microfilm
Serial-Microopaque
Sound recording
Visual material
Visual material-Art
Visual material-Chart
Visual material-Diorama
Visual material-Filmstrip
Visual material-Flash card
Visual material-Game
Visual material-Graphic
Visual material-Kit
Visual material-Microscope slide
Visual material-Model
Visual material-Motion picture
Visual material-Picture
Visual material-Realia
Visual material-Slide
Visual material-Technical drawing
Visual material-Toy
Visual material-Transparency
Visual material-Videorecording
Including
Excluding
Language Filters
Place of Publication Filters
None
Arabic
Chinese
Coptic
Czech
Dyula
Egyptian
English
finnish
French
German
Greek, Ancient (to 1453)
Greek, Modern (1453- )
Hebrew
Hindi
Hungarian
Italian
Latin
Polish
Portuguese
Russian
Spanish
Swedish
Yiddish
Including
Excluding
None
Alabama
Alaska
Alberta
Arizona
Arkansas
Australia
Belgium
Brazil
British Columbia
California
Canada
China
Colorado
Connecticut
Czechoslovakia
Delaware
Denmark
District of Columbia
Egypt
England
finland
Florida
France
Georgia
Germany
Greece
Hawaii
Hungary
Idaho
Illinois
India
Indiana
Iowa
Ireland
Israel
Italy
Japan
Kansas
Kentucky
Louisiana
Luxembourg
Maine
Manitoba
Maryland
Massachusetts
Mexico
Michigan
Minnesota
Mississippi
Missouri
Montana
Nebraska
Netherlands
Nevada
New Brunswick
New Hampshire
New Jersey
New Mexico
New York (State)
New Zealand
Newfoundland
North Carolina
North Dakota
Northern Ireland
Northwest Territories
Norway
Nova Scotia
Ohio
Oklahoma
Ontario
Oregon
Pennsylvania
Poland
Portugal
Rhode Island
Russia (Federation)
Saskatchewan
Scotland
South Carolina
South Dakota
Spain
Sweden
Switzerland
Taiwan
Tennessee
Texas
Turkey
United Arab Emirates
United Kingdom
Utah
Vermont
Virginia
Washington (State)
West Virginia
Wisconsin
Wyoming
Including
Excluding
Publication Date
Context Date
-
-
Set Session Filters
Select below to return to the last:
Full Record
MARC Record
Items List
Item Information
Author Browse
Title Browse
Subject Browse
List of Titles
Cross References
Copyright © 2014 VTLS Inc. All rights reserved.
VTLS.com
Patron ID:
Password:
Library:
IISERK