A course on mathematical logic / Srivastava, S. M.
Tác giả : Srivastava, S. M.
Nhà xuất bản : Springer
Năm xuất bản : 2008
Mô tả vật lý : 153 p.
Số phân loại : 511.3
Chủ đề : 1. Mathematics. 2. Statistics ; Logic, Symbolic and mathematical.. 3. Book.
Thông tin chi tiết
| Tóm tắt : | Preface -- Syntax of first order logic -- Semantics of first-order languages -- Propositional logic -- Proof and metatheorems in first-order logic -- Completeness theorem and model theory -- Recursive functions and arithmetization of theories -- Incompleteness theorems and recursion theory -- References -- Index |
Thông tin dữ liệu nguồn
| Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
|---|---|---|
Đại học quốc gia Hà Nội
|
|
https://repository.vnu.edu.vn/handle/VNU_123/28189 |
Tài liệu cùng danh mục chủ đề
Lý thuyết và ứng dụng của giải tích phân thứ cho hệ động lực mờ / Ngô Văn Hòa ; Người hướng dẫn khoa học : Nguyễn Đình Phư, Lý Kim Hà
Tác giả : Ngô Văn Hòa ; Người hướng dẫn khoa học : Nguyễn Đình Phư, Lý Kim Hà
Nhà xuất bản : Trường Đại học Khoa học Tự nhiên
Năm xuất bản : 2024
Lý thuyết và ứng dụng của giải tích phân thứ cho hệ động lực mờ / Ngô Văn Hòa ; Người hướng dẫn khoa học : Nguyễn Đình Phư, Lý Kim Hà
Tác giả : Ngô Văn Hòa ; Người hướng dẫn khoa học : Nguyễn Đình Phư, Lý Kim Hà
Nhà xuất bản : Trường Đại học Khoa học Tự nhiên
Năm xuất bản : 2024
Toán mờ và ứng dụng : Fuzzy mathematics and applications : sách chuyên khảo / Dương Tôn Đảm chủ biên, Dương Tôn Thái Dương, Huỳnh Tố Uyên
Tác giả : Dương Tôn Đảm chủ biên, Dương Tôn Thái Dương, Huỳnh Tố Uyên
Nhà xuất bản : Đại học Quốc gia T.P. Hồ Chí Minh
Năm xuất bản : 2024
Bí quyết giải các dạng Toán về hàm ẩn - hàm hợp / Vũ Văn Thiện ... [và nh.ng. khác]
Tác giả : Vũ Văn Thiện ... [và nh.ng. khác]
Nhà xuất bản : Dân trí
Năm xuất bản : 2022
Vô hạn : minh họa sinh động bằng tranh / Brian Clegg & Oliver Pugh ; Nguyễn Thị Hà Linh dịch
Tác giả : Brian Clegg & Oliver Pugh ; Nguyễn Thị Hà Linh dịch
Nhà xuất bản : Dân trí
Năm xuất bản : 2020
Đại học Công nghệ - ĐHQGHN 
Đại học Giáo dục - ĐHQGHN 
Đại học khoa học tự nhiên - ĐHQGHN 
Đại học Khoa học Xã hội và Nhân văn - ĐHQGHN 
Đại học Kinh tế - ĐHQGHN 
Đại học Ngoại ngữ - ĐHQGHN 
Đại học Y - Dược - ĐHQGHN 
Học Viện Hàng Không Việt Nam 
Thư viện Huyện Bình Chánh - TVKHTH TP.HCM 
Thư viện huyện Bình Minh - TV Vĩnh Long 
Thư viện huyện Bình Tân - TV Vĩnh Long 
Thư viện Huyện Cần Giờ - TVKHTH TP.HCM 
Thư viện Huyện Củ Chi - TVKHTH TP.HCM 
Thư viện Huyện Hóc Môn - TVKHTH TP.HCM 
Thư viện huyện Long Hồ - TV Vĩnh Long 
Thư viện huyện Mang Thít - TV Vĩnh Long 
Thư viện Huyện Nhà Bè - TVKHTH TP.HCM 
Thư viện huyện Tam Bình - TV Vĩnh Long 
Thư viện huyện Trà Ôn - TV Vĩnh Long 
Thư viện Khoa học Tổng hợp TP.HCM 
Thư viện quận 1 - TVKHTH TP.HCM 
Thư viện quận 10 - TVKHTH TP.HCM 
Thư viện quận 11 - TVKHTH TP.HCM 
Thư viện quận 12 - TVKHTH TP.HCM 
Thư viện quận 2 - TVKHTH TP.HCM 
Thư viện quận 3 - TVKHTH TP.HCM 
Thư viện quận 4 - TVKHTH TP.HCM 
Thư viện quận 5 - TVKHTH TP.HCM 
Thư viện quận 6 - TVKHTH TP.HCM 
Thư viện quận 7 - TVKHTH TP.HCM 
Thư viện quận 8 - TVKHTH TP.HCM 
Thư viện quận Bình Tân - TVKHTH TP.HCM 
Thư viện quận Bình Thạnh - TVKHTH TP.HCM 
Thư viện quận Gò Vấp - TVKHTH TP.HCM 
Thư viện quận Phú Nhuận - TVKHTH TP.HCM 
Thư viện quận Tân Bình - TVKHTH TP.HCM 
Thư viện quận Tân Phú - TVKHTH TP.HCM 
Thư viện Quốc gia Việt Nam 
Thư viện thành phố Thủ Đức (cơ sở 1) - TVKHTH TP.HCM 
Thư viện thành phố Thủ Đức (cơ sở 2) - TVKHTH TP.HCM 
Thư Viện Tỉnh An Giang 
Thư viện tỉnh Vĩnh Long 
Tổ chức y tế thế giới 
Trung tâm giáo dục quốc phòng và An ninh - ĐHQGHN 
Trung tâm Hỗ trợ Sinh viên - ĐHQGHN 
Trường Đại học Luật - ĐHQGHN 
Trường Khoa học liên ngành và nghệ thuật - ĐHQGHN 
Trường Quản trị và Kinh doanh - ĐHQGHN 
Viện Công nghệ Thông tin - ĐHQGHN 
Viện Đảm bảo chất lượng giáo dục - ĐHQGHN 
Viện Quốc tế Pháp ngữ - ĐHQGHN 
Viện Tài nguyên và Môi trường - ĐHQGHN 
Viện Vi sinh vật và Công nghệ Sinh học - ĐHQGHN 
Viện Việt Nam học và Khoa học phát triển - ĐHQGHN