Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Introduction to the Theory of infiniteseimals

Mathematical analysis --- Mathematics. --- Nonstandard mathematical analysis. --- Nonstandard mathematical analysis --- #TELE:d.d. Prof. A. J. J. Oosterlinck --- 517.1 --- 517.1 Introduction to analysis --- Introduction to analysis --- Analysis, Nonstandard mathematical --- Mathematical analysis, Nonstandard --- Non-standard analysis --- Nonstandard analysis --- Model theory --- Analyse mathématique non standard --- Math --- Science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Computer programming --- #TCPW P3.0 --- 681.3*F1 --- 681.3*F2 --- 681.3*F3 --- 681.3*F41 --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computation by abstract devices --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- Logics and meanings of programs (Theory of computation) --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Programming --- Computer programming. --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 681.3*F1 Computation by abstract devices --- Informatique