Baybars al-Manṣūrī - Encyclopaedia of Islam, THREE - مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی

منو

" Baybars al-Manṣūrī - Encyclopaedia of Islam, THREE "
Guo, Li

Document Type	:	BL
Record Number	:	726177
Doc. No	:	b545909
Main Entry	:	Melvin Fitting ...
Title & Author	:	Proof methods for modal and intuitionistic logics\ Melvin Fitting ...
Publication Statement	:	Dordrecht ; Boston ; Lancaster: D. Reidel, cop., 2010
Page. NO	:	1 vol. (viii-555 p.) ; 23 cm
ISBN	:	9048183812
	:	: 9789048183814
Notes	:	La couv. porte en plus: "Edited by Donald Davidson."
Contents	:	One / Background.- Two / Analytic Modal Tableaus and Consistency Properties.- Three / Logical Consequence, Compactness, Interpolation, and Other Topics.- Four / Axiom Systems and Natural Deduction.- Five / Non-Analytic Logics.- Six / Non-Normal Logics.- Seven / Quantifiers.- Eight / Prefixed Tableau Systems.- Nine / Intuitionistic Logic.- Special Notation.
Subject	:	ALei1371.pdf
	:
	:
	:
	: