Mathematical Logic. 1st ed.

Mã QR

Mathematical Logic. 1st ed.

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Kossak, Roman
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer International Publishing 2020
Những chủ đề:	Philosophy Philosophy of Mathematics Mathematical Logic and Foundations Arithmetic and Logic Structures
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/94003
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

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

Philosophical and Mathematical Logic. 1st ed.
Bỡi: Swart, Harrie de
Được phát hành: (2020)

Introduction to Formal Philosophy. 1st ed.
Bỡi: Hansson, Sven Ove, et al.
Được phát hành: (2020)

Philosophy of Science for Scientists. 1st ed.
Bỡi: Johansson, Lars-Göran
Được phát hành: (2020)

Logical Foundations of Computer Science. 1st ed. 2018
Bỡi: Artemov, Sergei, et al.
Được phát hành: (2020)

From Logic to Practice: Italian Studies in the Philosophy of Mathematics
Bỡi: Lolli, Gabriele, et al.
Được phát hành: (2015)

Guide to Discrete Mathematics. 1st ed.
Bỡi: O'Regan, Gerard
Được phát hành: (2020)

Springer Handbook of Model-Based Science. 1st ed. 2017
Bỡi: Magnani, Lorenzo, et al.
Được phát hành: (2020)

Diagonalization in Formal Mathematics
Bỡi: Santos, Paulo Guilherme
Được phát hành: (2020)

Logical Foundations of Computer Science
Bỡi: Artemov, Sergei, et al.
Được phát hành: (2020)

The Colorado Mathematical Olympiad: The Third Decade and Further Explorations. 1st ed. 2017
Bỡi: Soifer, Alexander
Được phát hành: (2020)

Saved from the Cellar. 1st ed. 2017
Bỡi: Plato, Jan von
Được phát hành: (2020)

Philosophy of logic
Bỡi: W. V. Quine

Trustworthy Hardware Design: Combinational Logic Locking Techniques
Bỡi: Yasin, Muhammad, et al.
Được phát hành: (2020)

Logical Foundations of Cyber-Physical Systems
Bỡi: Platzer, André
Được phát hành: (2020)

Springer Handbook of Model-Based Science
Bỡi: Magnani, Lorenzo, et al.
Được phát hành: (2020)

Digital Logic for Computing. 1st ed. 2017
Bỡi: Seiffertt, John
Được phát hành: (2020)

Logical properties : identity, existence, predication, necessity, truth
Bỡi: Colin, McGinn
Được phát hành: (2000)

Logic, Rationality, and Interaction
Bỡi: Blackburn, Patrick, et al.
Được phát hành: (2020)

Pesky Essays on the Logic of Philosophy
Bỡi: Lucey, Kenneth G
Được phát hành: (2015)

The Incomputable. 1st ed. 2017
Bỡi: Cooper, S. Barry, et al.
Được phát hành: (2020)

The evolution of reason: Logic as a branch of biology
Bỡi: Cooper, William S
Được phát hành: (2013)

Logic for mathematics and computer sicence
Bỡi: Burris, Stanley N.
Được phát hành: (1998)

Geometry
Bỡi: Gelfand, Israel M., et al.
Được phát hành: (2020)

Solving Problems in Mathematical Analysis, Part I
Bỡi: Radożycki, Tomasz
Được phát hành: (2020)

Reading, Writing, and Proving. 2nd ed.
Bỡi: Daepp, Ulrich, et al.
Được phát hành: (2020)

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
Bỡi: van Atten, Mark
Được phát hành: (2015)

Mathematical logic for computer science.
Bỡi: Lu Zhungwan
Được phát hành: (1989)

Mathematical logic for computer science /
Bỡi: Lu, Zhongwan.
Được phát hành: (1989)

Mathematical logic for computer science /
Bỡi: Lu, Zhongwan.
Được phát hành: (1989)

An Introduction to the Technique of Formative Processes in Set Theory
Bỡi: Cantone, Domenico, et al.
Được phát hành: (2020)

Numbers and Computers. 2nd ed. 2017
Bỡi: Kneusel, Ronald T.
Được phát hành: (2020)

Logic mờ và ứng dụng
Bỡi: Bouchon-Meunier, Bernadette
Được phát hành: (2007)

Implementation and Application of Automata. 1st ed. 2017
Bỡi: Carayol, Arnaud, et al.
Được phát hành: (2020)

Logic for computer scientists
Bỡi: Uwe Schoning
Được phát hành: (1989)

Process Algebras for Petri Nets. 1st ed. 2017
Bỡi: Gorrieri, Roberto
Được phát hành: (2020)

Logic
Được phát hành: (1980)

On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
Bỡi: Trillas, Enric
Được phát hành: (2020)

Symbolic logic
Bỡi: Agler, David W
Được phát hành: (2013)

Computer Engineering and Technology: 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers
Bỡi: Xu, W, et al.
Được phát hành: (2015)

Logic and philosophy :
Bỡi: Hausman, Alan
Được phát hành: (2007)