Your search returned 2 results.

Kết quả
	1.	Không có ảnh bìa Interactive models of computation and program behavior. by Curien, Pierre-Louis(F-PARIS7-PPS); Herbelin, Hugo(F-PARIS7); Krivine, Jean-Louis(F-PARIS7-EPP); Melliès, Paul-André(F-PARIS7-PPS) Material type: Văn bản Publication details: Société Mathématique de France ; 2009 Sẵn sàng: Tài liệu sẵn sàng cho mượn: VIASM Library (1). Đặt mượn Thêm vào giỏ tài liệu (remove)
	2.	Không có ảnh bìa Théorie axiomatique des ensembles by Krivine, Jean-Louis Material type: Văn bản Publication details: Presses Universitaires de France ; 1969 Sẵn sàng: Tài liệu sẵn sàng cho mượn: VIASM Library (1). Đặt mượn Thêm vào giỏ tài liệu (remove)

Giới hạn kết quả tìm kiếm