Initiatives in Logic

Initiatives in Logic

Wolfgang Lenzen (auth.), Jan Srzednicki (eds.)

0 / 0

Bu kitabı ne kadar beğendiniz?

İndirilen dosyanın kalitesi nedir?

Kalitesini değerlendirmek için kitabı indirin

İndirilen dosyaların kalitesi nedir?

` .., the reviewed collection may be recommended as an important contribution to the history as well as a description of some recent logical investigations. '
Studia Logica 12 (1) 1990

Kategoriler:

Society, Politics & Philosophy

Yıl:

1987

Baskı:

1

Yayımcı:

Springer Netherlands

Dil:

english

Sayfalar:

261

ISBN 10:

9401081441

ISBN 13:

9789401081443

Seriler:

Reason and Argument 2

Dosya:

PDF, 20.89 MB

IPFS:

,

english, 1987

Online Oku

'e dönüştürme devam ediyor

dosyasına dönüştürme başarısız oldu

İlginizi çekebilir

Cleave, John P — A study of logics

Alan Ross Anderson and Nuel D.Belnap, Jr. — Entailment: The Logic of Relevance and Necessity

Lukasiewicz, Jan — Selected Works

Alfred Tarski, Jan Tarski — Introduction To Logic And To The Methodology Of The Deductive Sciences, Fourth Edition

Paul Lorenzen — Formal logic.

Roberta Ballarin — Modern Origins of Modal Logic (SEP)

Alfred Tarski — Logic, Semantics, Metamathematics. Papers from 1923 to 1938

Harrie de Swart — Philosophical and Mathematical Logic

misc. authors — Proceedings of a Colloquium on Modal and Many-Valued Logics

Alfred Tarski — Logic, semantics, metamathematics: Papers from 1923 to 1938

Kneebone, G. T. — Mathematical Logic and The Foundations of Mathematics

Jan Lukasiewicz (L. Borkowski editor) — Selected Works

Jan Łukasiewicz — Selected Works

（英）乔恩·威廉姆森（JonWilliamson），（意）费德丽卡·拉索（FedericaRusso）著；郝兆宽，单芃舒注 — 逻辑学核心术语

Pogorzelski, Witold Adam — Notions and theorems of elementary formal logic

Morten Heine Sorensen, Pawel Urzyczyn — Lectures on the Curry-Howard Isomorphism

Alfred Tarski, Jan Tarski — Introduction to Logic and to the Methodology of Deductive Sciences

Storrs McCall (ed.) — Polish Logic, 1920-1939

Arthur N. Prior — Past, Present, and Future

John P. Cleave — A Study of Logics

Abram Aronovich Stoli͡ar — Introduction to Elementary Mathematical Logic

G T Kneebone — Mathematical logic and the foundations of mathematics

Dov M. Gabbay, John Woods — Handbook of the history of logic: Logic and the Modalities in the Twentieth Century

Morten Heine Sørensen, Paweł Urzyczyn — Lectures on the Curry-Howard Isomorphism

Alfred Tarski — Introduction to Logic: and to the Methodology of Deductive Sciences

Abram Aronovich Stolyar — Introduction to Elementary Mathematical Logic

Sara Negri, Jan von Plato; Aarne Ranta (Appendix) — Structural Proof Theory

Sara Negri, Jan von Plato; Aarne Ranta (Appendix) — Structural Proof Theory

Anderson A.R., Belnap Jr.N.D. — Entailment: The logic of relevance and necessity.

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Arruda A.I., da Costa N.C.A., Chuaqui R. (eds.) — Non-classical logics, model theory and computability: Proceedings Campinas, 1976

Jan Lukasiewicz; L. Borkowski, O. Wojtasiewicz (ed.) — Jan Lukasiewicz. Selected works

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic

Alfred Tarski, J. H. Woodger — Logic, Semantics, Metamathematics. Papers from 1923 to 1938

von Plato J. — Elements of Logical Reasoning

Anahtar ifadeler