| 
			1 | 
		
			
									
						Alternative proofs of some classical metric fixed point theorems by using approximate fixed point sequences Enthalten in Arabian journal of mathematics 29.9.2022: 1-11
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			2 | 
		
			
									
						Combinatorial proofs and refinements of three partition theorems of Andrews Enthalten in The Ramanujan journal 7.8.2022: 1-14
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			3 | 
		
			
									
						Combinatorial proofs and generalization of Bringmann, Lovejoy and Mahlburg’s overpartition theorems Enthalten in The Ramanujan journal 21.7.2020: 1-16
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			4 | 
		
			
									
						Combinatorial proofs of two theorems related to the number of even parts in all partitions of n into distinct parts Enthalten in The Ramanujan journal 25.10.2019: 1-6
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			5 | 
		
			
									
						On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos Enthalten in Mathematical logic quarterly Bd. 58, 2012, Nr. 4‐5: 307-316. 10 S.
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			6 | 
		
			
									
						On the Proofs of Some Statements Concerning the Theorems of Kantorovich, Moore, and Miranda Enthalten in Reliable computing Bd. 11, Nr. 1, date:2.2005: 77-85
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			7 | 
		
			
									
						Boolos‐style proofs of limitative theorems Enthalten in Mathematical logic quarterly Bd. 50, 2004, Nr. 2: 211-216. 6 S.
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			8 | 
		
			
									
						ALGEBRAIC PROOFS OF KWAPIEÑ'S AND LAMPERTI'S REPRESENTATION THEOREMS Enthalten in Demonstratio mathematica Bd. 32, 1999, Nr. 2: 401-412. 12 S.
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			9 | 
		
			
									
						A pushing pulling method Ahlswede, Rudolf. - Bielefeld : Sonderforschungsbereich 343, 1997
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			10 | 
		
			
									
						Simple proofs of Olevskii type theorems Enthalten in Mathematical notes Bd. 59, Nr. 3, date:3.1996: 241-246
					
							 | 
									
			
								
									  
								
			 |