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ỏ

Classical Numerical Methods in Scientific Computing
	Tác giả: Jos van Kan, Guus Segal, Fred Vermolen
	Xuất bản: Delft: TU Delft Open , 2023
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

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

Simplicial and Dendroidal Homotopy Theory
	Tác giả: Gijs Heuts, Ieke Moerdijk
	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ỏ

Quanta
	Tác giả:
	Xuất bản: Quanta , 2014
	Bộ sưu tập: Báo, Tạp chí
	ddc:   Thêm vào giỏ

Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019
	Tác giả: Mikołaj Bojańczyk, Mikołaj Bojańczyk, Alex Simpson, Alex Simpson
	Xuất bản: Cham, Switzerland: Springer Nature , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

The Logical Writings of Karl Popper
	Tác giả: David Binder, David Binder, Thomas Piecha, Thomas Piecha, Peter Schroeder-Heister, Peter Schroeder-Heister
	Xuất bản: Cham: Springer Nature , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

The Cellular Automaton Interpretation of Quantum Mechanics
	Tác giả: Gerard 't Hooft
	Xuất bản: Cham: Springer , 2016
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  530.12015118  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ỏ

Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021
	Tác giả: Stefan Kiefer, Stefan Kiefer, Christine Tasson, Christine Tasson
	Xuất bản: Cham, Switzerland: Springer Nature , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ