| 
			1 | 
		
			
									
						Einführung in die mathematische Logik Hermes, Hans. - Stuttgart : Teubner, 1991, 5. Aufl., unveränd. Nachdr. der 4. Aufl.
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			2 | 
		
			
									
						Nachgelassene Schriften und wissenschaftlicher Briefwechsel / Bd. 1. Nachgelassene Schriften 1983, 2., rev. Aufl., erw. um e. Anh. Nachschrift einer Vorlesung und Protokolle mathematischer Vorträge Freges / eingel. von Lothar Kreiser unter Mitw. von Günter Grosche
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			3 | 
		
			
									
						Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit Hermes, Hans. - Berlin, Heidelberg, New York : Springer, 1978, 3. Aufl.
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			4 | 
		
			
									
						Einführung in die mathematische Logik Hermes, Hans. - Stuttgart : Teubner, 1976, 4. Aufl.
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			5 | 
		
			
									
						Introduction to mathematical logic Hermes, Hans. - Berlin, Heidelberg, New York : Springer, 1973
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			6 | 
		
			
									
						Einführung in die mathematische Logik Hermes, Hans. - Stuttgart : Teubner, 1972, 3., neubearb. u. erw. Aufl.
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			7 | 
		
			
									
						Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit Hermes, Hans. - Berlin : Springer, 1971, 2. Aufl.
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			8 | 
		
			
									
						Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften Hildesheim : Gerstenberg, 1970, Nachdr.
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			9 | 
		
			
									
						Term logic with choice operator Hermes, Hans. - Berlin : Springer, 1970, Rev. and enlarged transl. of the 1st German ed.
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			10 | 
		
			
									
						Turing-Maschinen und berechenbare Funktionen 1 Ebbinghaus, Heinz-Dieter. - Berlin : Springer, 1970
					
							 | 
									
			
								
															  
																  
										
								
			 |