“Kreisel–Putnam logic”的意思、由来-开放百科全书

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。

词条	Kreisel–Putnam logic
释义	SeeIntermediate logic
随便看	GAUSS (software) Gauss's principle of least constraint Gauss's Theorem Gauss's theorema egregium Gauss's Theorema Egregium Gauss sum Gauss theorema egregium Gauss Tower Gauss-Vanicek Gauss-Vanicek spectrum Gauss-Vanícek Gauss-Vanícek Analysis Gauss-Vanícek Spectral Analysis Gauss-Vaníček Gauss-Vaníček analysis Gauss-Vaníček Spectral Analysis Gauss-Vaníček spectral analysis Gauss window Gauss–Codazzi equations Gauss–Codazzi equations (relativity) Gauss–Jordan elimination Gauss–Lucas theorem Gauss–Manin connection Gauss–Markov assumptions Gauss–Seidel method