Loại tài liệu:    Chỉ tìm trong: 
41-50 trong số 122 kết quả
Tractatus logico-philosophicus
Tác giả: Ludwig Wittgenstein, Brian McGuinness, David Francis Pears
Xuất bản: New York: Routledge, 2001
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  192
 
The Big Typescript, TS. 213
Tác giả: Ludwig Wittgenstein, Maximilian Aue, C Grant Luckhardt
Xuất bản: Malden MA: Blackwell Pub, 2005
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  192
 
Computation Engineering [electronic resource] : Applied Automata Theory and Logic
Tác giả: Ganesh Gopalakrishnan
Xuất bản: Boston MA: Springer ScienceBusiness Media LLC, 2006
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.0151
 
Bridge to abstract mathematics : mathematical proof and structures
Tác giả: Ronald P Morash
Xuất bản: New York NY: Random House, 1987
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
The foundations of mathematics
Tác giả: Ian Stewart, David Orme Tall
Xuất bản: : ,
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Cham Switzerland: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.24
 
Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part
Tác giả: Hana Chockler, Georg Weissenbacher
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1015113
 
Math proofs demystified elektronisk ressurs
Tác giả: Stan Gibilisco
Xuất bản: New York: McGrawHill, 2005
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.36
 
Tracking reason : proof, consequence, and truth
Tác giả: Jody Azzouni
Xuất bản: Oxford New York: Oxford University Press, 2006
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.36
 
Advances in Proof-Theoretic Semantics
Tác giả: Thomas Piecha, Thomas Piecha, Peter Schroeder-Heister, Peter Schroeder-Heister
Xuất bản: Cham: Springer Nature, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 

Truy cập nhanh danh mục