Refine your search

Your search returned 25 results.

Not what you expected? Check for suggestions
Sort
Results
Đại cương lôgic toán / P.X. Nôvikôp ; Ngd. : Nguyễn Hữu Ngự, Đặng Huy Ruận by
Material type: Text Text; Literary form: Not fiction
Language: Vietnamese
Publication details: H. : KHKT, 1971
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (2)Call number: 511.3 NOV 1971, ... Phòng DVTT Mễ Trì (2)Call number: 511.3 NOV 1971, ...

Модальная логика / Р. Фейс by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Rus
Publication details: М. : Наука, 1974
Availability: Items available for loan: Phòng DVTT Ngoại ngữ (3)Call number: 511.3, ...

Loogic học / Đ.P. Gorki by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Vietnamese
Publication details: H. : Giáo dục, 1974
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (7)Call number: 511.3 GOR 1974, ...

Lôgíc học / Đ.P. Gorki ; Ngd. : Hà Sĩ Hồ by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Vietnamese
Publication details: H. : Giáo dục, 1974
Availability: Items available for loan: Phòng DVTT Mễ Trì (1)Call number: 511.3 GOR 1974. Phòng DVTT Ngoại ngữ (6)Call number: 511.3 GOR 1974, ...

Logic, suy luận toán học và kỹ thuật đếm
Edition: Tái bản lần 1
Material type: Text Text; Literary form: Not fiction
Language: Vietnamese
Publication details: Hà Nội : Đại học quốc gia Hà Nội, 2022
Availability: Items available for loan: Phòng DVTT HT2 (3)Call number: 511.3 LOG 2022, ... Phòng DVTT Tổng hợp (1)Call number: 511.3 LOG 2022.

Logic, suy luận toán học và kĩ thuật đếm
Material type: Text Text; Literary form: Not fiction
Language: Vietnamese
Publication details: Hà Nội : Tài chính, 2013
Availability: Items available for loan: Phòng DVTT HT2 (1)Call number: 511.3 LOG 2013.

Giáo trình lôgic toán / Nguyễn Hữu Ngự by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Vietnamese
Publication details: H. : ĐHQGHN, 2015
Other title:
  • Toán logic
Availability: Items available for loan: Phòng DVTT HT2 (1)Call number: 511.3 NG-N 2015. Phòng DVTT Tổng hợp (1)Call number: 511.3 NG-N 2015.

Categories, allegories / Peter J. Freyd, Andre Scedrov. by Series: North-Holland mathematical library ; v. 39
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam ; New York : New York, NY, U.S.A. : North-Holland ; sole distributors for the U.S.A. and Canada, Elsevier Science Pub., c1990
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (1)Call number: 511.3 FRE 1990.

Categories, Allegories / P.J. Freyd, A. Scedrov by Series: North-Holland mathematical library ; v. 39
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam ; New York : New York, NY, U.S.A. : North-Holland ; sole distributors for the U.S.A. and Canada, Elsevier Science Pub., c1990
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (1)Call number: 511.3 FRE 1990.

Introduction to languages and the theory of computation / John C. Martin. by
Edition: 4th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Mc Graw Hill , 2011
Availability: Items available for loan: Phòng DVTT Tổng hợp (4)Call number: 511.3/5 MAR 2011, ...

Giáo trình lôgic toán / Nguyễn Hữu Ngự by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Vietnamese
Publication details: H. : [Knxb] , 1989
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (18)Call number: 511.3 NG-N 1989, ... Phòng DVTT Mễ Trì (2)Call number: 511.3 NG-N 1989, ...

Mathematical logic and computability / H. Jerome Keisler by
Material type: Text Text; Literary form: Not fiction
Language: English
Publication details: NewYork : McGraw-Hill comp., Inc, 1996
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (1)Call number: 511.3 KEI 1996.

Mathematical logic / Yu.L. Ershov, E.A. Palyutin ; translated from the Russian by Vladimir Shokurov by
Material type: Text Text; Literary form: Not fiction
Language: English
Publication details: Moscow : Mir, 1984
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (1)Call number: 511.3 ERS 1984.

Алгоритмы алгоритмические языки. выпуск 6
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Rus
Publication details: М. : Вычислительной центр, 1973
Availability: Items available for loan: Phòng DVTT Ngoại ngữ (4)Call number: 511, ...

Logic toán / Trần Thọ Châu by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Vietnamese
Publication details: H. : ĐHQGHN, 2007
Online resources:
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (76)Call number: 511.3 TR-C 2007, ... Phòng DVTT Mễ Trì (3)Call number: 511.3 TR-C 2007, ... Phòng DVTT Tổng hợp (3)Call number: 511.3 TR-C 2007, ... Not available: Phòng DVTT KHTN & XHNV: Checked out (1). Phòng DVTT KHTN & XHNV: In transit (24).

Logic toán và ứng dụng trong dạy và học / Đỗ Đức Đạt by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Vietnamese
Publication details: H. : Giáo dục, 1996
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (6)Call number: 511.3 ĐO-Đ 1996, ... Phòng DVTT Mễ Trì (2)Call number: 511.3 ĐO-Đ 1996, ...

Giáo trình logic toán và lịch sử toán học / Nguyễn Anh Tuấn by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Vietnamese
Publication details: H. : ĐHSP, 2012
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (3)Call number: 511.3 NG-T 2012, ... Phòng DVTT Mễ Trì (3)Call number: 511.3 NG-T 2012, ...

Introduction to logic / Charles W. Kegley, Jacquelyn Ann kegley by
Material type: Text Text; Literary form: Not fiction
Language: English
Publication details: Lanham : Uni. of America , 1984
Title translated: Giới thiệu về logic..
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (1)Call number: 160 KEG 1984. Phòng DVTT Tổng hợp (1)Call number: 160 KEG 1984.

Logic mờ và ứng dụng / Bernadette Bouchon-Meunier, Hồ Thuần, Đặng Thanh Hà by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Vietnamese
Publication details: H. : ĐHQGHN, 2007
Other title:
  • Lôgic mờ và ứng dụng
Online resources:
Availability: Items available for loan: Phòng DVTT Tổng hợp (1)Call number: 511.3 BOU 2007.

Discrete mathematics : a unified approach / Stephen A. Wiitala by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : McGraw Hill, c1987
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (1)Call number: 510 WII 1987.

Pages