]> 2026-07-19T07:51:43+00:00 Typentheorie (Mengenlehre) 0 de-formal 2019-05-30T13:54:51Z 2458634.0797569 Typentheorie (Mengenlehre) 0 0 plainlist template 1 [[:Russell, B. (1903): The Principles of Mathematics]] Typentheorie (Mengenlehre)# QUERY6d530821d0a4c9f4e124be43f9ddcdc7 0 0 plainlist template 1 [[:Russell, B. (1908): Mathematical Logic as Based on the Theory of Types]] Typentheorie (Mengenlehre)# QUERYa7a55ebbbdaade3e4afffbae2c99ca05 0 0 plainlist template 1 [[:Felscher, W. (1978): Naive Mengen und abstrakte Zahlen I]] Typentheorie (Mengenlehre)# QUERY00ebeb650da56ebeaead6e470f6a61aa 0 0 plainlist template 1 [[:Whitehead, A.N.; Russell, B. (1910): Principia Mathematica – Volume I]] Typentheorie (Mengenlehre)# QUERY3874d2370708df57cf030ebb2bb4481c 0 0 plainlist template 1 [[:Wiener (1914)]] Typentheorie (Mengenlehre)# QUERY8d94d3fca3a4d7ff6c1b8fcfe8af9280 0 0 plainlist template 1 [[:Hausdorff (1914)]] Typentheorie (Mengenlehre)# QUERY5ed88c89deca8e1cf59efea7ee8d080f 0 0 plainlist template 1 [[:Schwichtenberg, H. (2000): Mathematische Logik]] Typentheorie (Mengenlehre)# QUERY45b3ace611d419d385903ca7341ee3af 0 0 plainlist template 1 [[:Shoenfield, J.R. (1967): Mathematical Logic]] Typentheorie (Mengenlehre)# QUERY9566e7b33a3e1550aea946b8b5c1b263 0 0 plainlist 1 [[:McCarthy, J. et. al. (1960): LISP I Programmer's Manual]] Typentheorie (Mengenlehre)# QUERY50abfeb591a1fcb443b29c4e679b9a74 0 0 array 1 [[:Russell, B. (1903): The Principles of Mathematics]] Typentheorie (Mengenlehre)# QUERYa9ce2de318550db87a9838ef329912c9 0 0 array 1 [[:Russell, B. (1908): Mathematical Logic as Based on the Theory of Types]] Typentheorie (Mengenlehre)# QUERY4eb702ccebf2b23355bfa13829be4018 0 0 array 1 [[:Felscher, W. (1978): Naive Mengen und abstrakte Zahlen I]] Typentheorie (Mengenlehre)# QUERY96e5d0c53b997d1536ba1e759d95f3dd 0 0 array 1 [[:Whitehead, A.N.; Russell, B. (1910): Principia Mathematica – Volume I]] Typentheorie (Mengenlehre)# QUERYe5b5120d9cec88eb1787d0d92bd92bf4 0 0 array 1 [[:Wiener (1914)]] Typentheorie (Mengenlehre)# QUERY0ac048ee280aee1c1fe2264a8da945ba 0 0 array 1 [[:Hausdorff (1914)]] Typentheorie (Mengenlehre)# QUERY81990fc5915c61fc01b6f0c706ed38a6 0 0 array 1 [[:Schwichtenberg, H. (2000): Mathematische Logik]] Typentheorie (Mengenlehre)# QUERY418b34d67f9f70b42267fc0cb110f9c9 0 0 array 1 [[:Shoenfield, J.R. (1967): Mathematical Logic]] Typentheorie (Mengenlehre)# QUERYb17c0200f3ee4be247744c2287e865b5 0 0 array 1 [[:McCarthy, J. et. al. (1960): LISP I Programmer's Manual]] Typentheorie (Mengenlehre)# QUERY25275e1db6542ce8a7066d8ac328f64c Typentheorie (Mathematik) 0 de-formal Typentheorie (Mathematik) REDI 102 de-formal REDI