Studies in universal logic

Material type: 図書

Author: -

Publisher: Birkhäuser

Publication date: -

Material Format: Paper

Capacity, size, etc.: -

NDC: -

View All

Related materials as well as pre- and post-revision versions

Visual reasoning with diagrams The road to universal logic : festschrift for the 50th birthday of Jean-Yves Beziau Towards a general theory of classifications Towards an arithmetical logic : the arithmetical foundations of logic Decidability of logical theories and their combination The life and work of Leon Henkin : essays on his contributions Institution-independent model theory Around and beyond the square of opposition Universal logic : an anthology : from Paul Hertz to Dov Gabbay ‎Modern logic 1850-1950, east and west Completeness theory for propositional logics Kripke's worlds : an introduction to modal logics via tableaux Language, logic, and mathematics in Schopenhauer Universal algebraic logic : dedicated to the unity of science The Lvov-Warsaw school, past and present Arabic logic from al-Fārābī to Averroes : a study of the early Arabic categorical, modal, and hypothetical syllogistics Sequents and trees : an introduction to the theory and applications of propositional sequent calculi Universal algebraic logic : dedicated to the unity of science Sequents and trees : an introduction to the theory and applications of propositional sequent calculi

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
Title: Studies in universal logic
Publication, Distribution, etc.: Birkhäuser
Place of Publication (Country Code): sz
Text Language Code: en
Target Audience: 一般
Related Material: Visual reasoning with diagrams
https://cir.nii.ac.jp/crid/1130000793938976768
The road to universal logic : festschrift for the 50th birthday of Jean-Yves Beziau
https://cir.nii.ac.jp/crid/1130000796080828160
Towards a general theory of classifications
https://cir.nii.ac.jp/crid/1130000796329468928
Towards an arithmetical logic : the arithmetical foundations of logic
https://cir.nii.ac.jp/crid/1130000797521693184
Decidability of logical theories and their combination
https://cir.nii.ac.jp/crid/1130004954721029632
The life and work of Leon Henkin : essays on his contributions
https://cir.nii.ac.jp/crid/1130282269014637184
Institution-independent model theory
https://cir.nii.ac.jp/crid/1130282270767827456
Around and beyond the square of opposition
https://cir.nii.ac.jp/crid/1130282270771784704
Universal logic : an anthology : from Paul Hertz to Dov Gabbay
https://cir.nii.ac.jp/crid/1130282271150611200
‎Modern logic 1850-1950, east and west
https://cir.nii.ac.jp/crid/1130282271711525504
Completeness theory for propositional logics
https://cir.nii.ac.jp/crid/1130282271946496384
Kripke's worlds : an introduction to modal logics via tableaux
https://cir.nii.ac.jp/crid/1130282273317192704
Language, logic, and mathematics in Schopenhauer
https://cir.nii.ac.jp/crid/1130285378531226240
Universal algebraic logic : dedicated to the unity of science
https://cir.nii.ac.jp/crid/1130295646841355151
The Lvov-Warsaw school, past and present
https://cir.nii.ac.jp/crid/1130566852828394752
Arabic logic from al-Fārābī to Averroes : a study of the early Arabic categorical, modal, and hypothetical syllogistics
https://cir.nii.ac.jp/crid/1130848328396628096
Sequents and trees : an introduction to the theory and applications of propositional sequent calculi
https://cir.nii.ac.jp/crid/1130861294951783563
Universal algebraic logic : dedicated to the unity of science
https://cir.nii.ac.jp/crid/1130862147259073038
Sequents and trees : an introduction to the theory and applications of propositional sequent calculi
https://cir.nii.ac.jp/crid/1131975833983009415
Related Material (URI): https://ci.nii.ac.jp/ncid/BA85770407#entity
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA85770407 : BA85770407