힐베르트 의 프로그램의 전통에서 우리는 인터넷 내에서 자유롭게 액세스 할 수있는 공식적인 올바른 (증거 검증자에 의해 확인 가능) 하지만 읽을 수 (일반 LaTeX 교과서처럼) 수학적 지식 자료. 논리 및 설정 이론이 시작되었습니다.
버전 기록
- 버전 0.04.02 에 게시 2011-05-01
- 버전 0.04.11 에 게시 2011-03-05
몇 가지 수정 및 업데이트
프로그램 세부 정보
- 범주: 교육 > 다른
- 게시자: www.qedeq.org
- 라이센스: 무료
- 가격: N/A
- 버전: 0.04.02
- 플랫폼: linux