Ảnh bìa

Universal Logic, Ethics, and Truth Essays in Honor of John Corcoran (1937-2021) /

John Corcoran was a very well-known logician who worked on several areas of logic. He produced decisive works giving a better understanding of two major figures in the history of logic, Aristotle and Boole. Corcoran had a close association with Alfred Tarski, a prominent 20th-century logician. This...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả của công ty:	SpringerLink (Online service)
Tác giả khác:	Madigan, Timothy J. (Biên tập viên), Béziau, Jean-Yves (Biên tập viên)
Định dạng:	Điện tử eBook
Ngôn ngữ:	Tiếng Anh
Được phát hành:	Cham : Springer Nature Switzerland : Imprint: Birkhäuser, 2024.
Phiên bản:	1st ed. 2024.
Loạt:	Studies in Universal Logic,
Những chủ đề:	Mathematical logic. Mathematics. History. Logic. General Logic. History of Mathematical Sciences. Formal Logic. Philosophical Logic.
Truy cập trực tuyến:	https://doi.org/10.1007/978-3-031-44461-6
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Những quyển sách tương tự

Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
Bằng: Rodríguez-Consuegra, Francisco
Được phát hành: (2025)

An Invitation to Mathematical Logic
Bằng: Marker, David
Được phát hành: (2024)

New Directions in Relevant Logic
Được phát hành: (2025)

Model Theory, Computer Science, and Graph Polynomials Festschrift in Honor of Johann A. Makowsky /
Được phát hành: (2025)

The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /
Bằng: Viale, Matteo
Được phát hành: (2024)

Gödel's Incompleteness Theorems A Guided Tour Through Kurt Gödel’s Historic Proof /
Bằng: Hoffmann, Dirk W.
Được phát hành: (2024)

Gödel's Theorems and Zermelo's Axioms A Firm Foundation of Mathematics /
Bằng: Halbeisen, Lorenz, et al.
Được phát hành: (2025)

Philosophical Logic / Philosophical Logic
Bằng: Strawson, P. F.
Được phát hành: (1967)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Được phát hành: (2024)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
Bằng: Hoffmann, Dirk W.
Được phát hành: (2025)

Logicomix: An Epic Search for Truth An Epic Search for Truth
Bằng: Doxiadis
Được phát hành: (2009)

Logic, Identity and Consistency : Essays in Honour of Sibajiban Bhattacharyya / Logic Identity and Consistency
Bằng: Sen, Pranab Kumar
Được phát hành: (1998)

Symbolic Logic
Bằng: Copi
Được phát hành: (1995)

Introduction to Logic
Bằng: Copi
Được phát hành: (2008)

Philosophy of Mathematics in Antiquity and in Modern Times
Bằng: Felgner, Ulrich
Được phát hành: (2023)

A Concise Introduction to Logic
Bằng: Hurley
Được phát hành: (2006)

Philosophy of Logic / Philosophy of Logic
Bằng: Quine, W. V. O.
Được phát hành: (1970)

Institution-independent Model Theory
Bằng: Diaconescu, Răzvan
Được phát hành: (2025)

From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
Được phát hành: (2024)

R-Calculus, VI: Finite Injury Priority Method
Bằng: Li, Wei, et al.
Được phát hành: (2025)

Introduction to Logic /
Bằng: Suppes, Patrick
Được phát hành: (1957)

Formal Logic : Its Scope and Limits /
Bằng: Jeffrey, Richard C.
Được phát hành: (1967)

Understanding Symbolic Logic
Bằng: Klenk
Được phát hành: (2008)

Introduction to Incompleteness From Gödel's Theorems to Forcing and the Continuum Hypothesis /
Bằng: Batzoglou, Serafim
Được phát hành: (2024)

Introduction to Mathematical Logic / Introduction to Mathematical Logic
Bằng: Church, Alonzo
Được phát hành: (1996)

Logic and Knowledge : Essays 1901-1950 /
Bằng: Russell, Bertrand
Được phát hành: (1988)

Demonstration and Logical Truth/
Bằng: Sengupta, Pradip Kumar
Được phát hành: (1968)

Combinatorial Set Theory With a Gentle Introduction to Forcing /
Bằng: Halbeisen, Lorenz J.
Được phát hành: (2025)

Diagrams, Visual Imagination, and Continuity in Peirce's Philosophy of Mathematics
Bằng: Kiryushchenko, Vitaly
Được phát hành: (2023)

The Essence of Logic / The Essence of Logic
Bằng: Kelly, John
Được phát hành: (1997)

Logic : A Philosophical Introduction /
Bằng: Kaminsky, Jack
Được phát hành: (1974)

Logic and Set Theory /
Bằng: Philip, N.
Được phát hành: (1979)

Introduction to Symbolic Logic / Introduction to Symbolic Logic
Bằng: Basson, A. H.
Được phát hành: (1993)

Studying deductive logic/
Bằng: Berger, Fred R.
Được phát hành: (1977)

Readings on Logic
Bằng: Copi
Được phát hành: (1972)

Introduction to Logic
Bằng: Copi
Được phát hành: (2018)

Readings on Logic /
Bằng: Copi, Irving M.
Được phát hành: (1972)

Kurt Gödel: Results on Foundations
Được phát hành: (2023)

R-Calculus, IV: Propositional Logic
Bằng: Li, Wei, et al.
Được phát hành: (2023)

An introduction to non-classical logic : from if to is / from if to is
Bằng: Priest, Graham
Được phát hành: (2008)