數理邏輯
Analysis I 豆瓣
作者: Herbert Amann / Joachim Escher Birkhäuser Basel 2006 - 8
Dieses Lehrbuch ist der erste Band einer dreiteiligen Einführung in die Analysis. Der moderne und klare Aufbau richtet seinen Blick auf das Wesentliche. Anders als übliche Lehrbücher trennt es nicht zwischen der Theorie einer Variablen und derjenigen mehrerer Veränderlicher. Leser erkennen wesentliche Inhalte und Ideen der Analysis und erwerben sich so ein solides Fundament für das Studium tieferliegender Theorien. Das Werk richtet sich an Hörer und Dozenten der Anfängervorlesung der Analysis. Zahlreiche Beispiele, Übungsaufgaben und Ergänzungen empfehlen es zum Selbststudium und als Grundlage für vertiefende Seminare und das gesamte Studium.
Mathematical Logic 豆瓣
作者: Stephen Cole Kleene Dover Publications 2002
Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities. Part I offers an elementary but thorough overview of mathematical logic of first order. Part II introduces some of the newer ideas and the more profound results of logical research in the twentieth century. 1967 edition.