Foundations of mathematical logic
	Tác giả: Haskell B Curry
	Xuất bản: New York: Dover Publications , 1977
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511  Thêm vào giỏ

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  Thêm vào giỏ

Inquisitive Logic Consequence and Inference in the Realm of Questions
	Tác giả: Ivano Ciardelli
	Xuất bản: Cham: Springer Nature , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Bulletin of the Section of Logic
	Tác giả:
	Xuất bản: Lodz University Press , 2020
	Bộ sưu tập: Báo, Tạp chí
	ddc:   Thêm vào giỏ

Fading Foundations : Probability and the Regress Problem
	Tác giả: David Atkinson, Jeanne Peijnenburg
	Xuất bản: Cham, Switzerland: Springer Nature , 2017
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  121  Thêm vào giỏ

Fading Foundations [electronic resource] : Probability and the Regress Problem
	Tác giả: David Atkinson, Jeanne Peijnenburg
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  120  Thêm vào giỏ

Aspects of Molecular Computing [electronic resource] : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday
	Tác giả: Natasha Jonoska, Gheorghe Păun, Grzegorz Rozenberg
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2004.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020
	Tác giả: Jean Goubault-Larrecq, Jean Goubault-Larrecq, Barbara König, Barbara König
	Xuất bản: Cham: Springer Nature , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

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:   Thêm vào giỏ

Theorems, Corollaries, Lemmas, and Methods of Proof
	Tác giả: Richard J Rossi
	Xuất bản: New jersey: John Wiley 7 Sons, Inc , 2006
	Bộ sưu tập: Khoa học tự nhiên
	Bản in ddc:  511.36  Thêm vào giỏ