Central Library and Document Center of Shahid Chamran University

Central Library and Document Center of Shahid Chamran University

Province: Khuzestan ـ شهر: Ahvaz

Email : it.sentlib@scu.ac.ir

Website : libscu.ac.ir

Phone Call : 33360244-061

Number of Titles : 145827

Type of Documents : كتب فارسي و لاتين،پايان نامه(تحصيلات تكميلي)، نشريات

Last updated : 18 دی 1403

Admin Name : شهناز خادمی زاده

Type of Library : Collegiate

Established date : 1354

International Standard Library Number :

Category type : کنگره

Address : اهواز- بلوار گلستان - فلكه دانشگاه - دانشگاه شهيد چمران.

Specialty : كتب دانشگاهى

Description :

Please Wait a Moment

علوم

موضوع قبلی: زبان شناسی، زبان و ادبیات موضوع بعدی: علوم پزشکی

Visualization, explanation and reasoning styles in mathematics

Mathematical logi

Logica universalis

Mathematical logic

Propositional and predicate calculu

Introduction to mathematics of satisfiabilit

Large infinitary languages

Algebraic and proof-theoretic aspects of non-classical logics

Non-classical logics, model theory, and computability

Function algebras on finite sets

منطقهای چند ارزشی

Mathematics of modality

Intensional mathematics

A short introduction to intuitionistic logi

Processes, terms and cycles

Tracking reason

The moment of proof

Proofs and fundamentals

Hybrid logic and its proof-theory

1 2 3 4 ...4269 4270 4271 4272 4273 4274 4275 ...7180 7181 7182 7183

Q

22488

QA

10951

Hybrid logic and its proof-theory

Author: / by Torben Braeuner

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Proof theory.,Logic, Symbolic and mathematical.

Classification :

QA

,

9

.

54

,.

B736

,

2011

This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them