Homepage der hbz-Verbunddatenbank hbz-Verbundkatalog - Gesamtkatalog Datenschutzerklärung
Standardsuche   Expertensuche   Indexsuche   Ergebnisliste Hilfe
Einstellungen   Suchverlauf   Korb   Kataloge   Feedback Neustart
 
Ergebnisliste für GND-ID= "DE-588 4333219-5"; Sortiert nach: Jahr, dann Urheber

  Vollanzeige Speichern/Senden Auswahlliste In den Korb Modifizieren Hilfe zur Ergebnisliste


Titel 1 - 15 von 15  
 
 
Vorige Seite   Nächste Seite

# Urheber Titel Jahr Bestand
1
Burgis, Ben, 1980- [Verfasser] Logic without gaps or gluts / by Benjamin Alan Burgis. - (Synthese Library ; volume 458) 



2022 
     
2
Hüntelmann, Rafael, 1958- [Verfasser] Klassische aristotelische Logik / Rafael Hüntelmann



2021-20
     
3
Veatch, Henry Babcock, 1911-1999 [Verfasser] Two Logics / Henry B. Veatch. - reprint of the first edition, Evanston 1969

URL: https://d-nb.info/1194672574/04
URL: http://digitale-objekte.hbz-nrw.de/storage2/2020/02/27/file_14/8829779.pdf
Weitere externe Links

2019 
     
4
Dowek, Gilles Rewriting and Typed Lambda Calculi [Elektronische Ressource] / edited by Gilles Dowek. - (Lecture Notes in Computer Science ; 8560) 

URL: http://dx.doi.org/10.1007/978-3-319-08918-8 ; Hinw.: Resolving-System
URL: http://digitale-objekte.hbz-nrw.de/storage2/2017/08/07/file_12/7327360.pdf
Weitere externe Links

2014 
     
5
Dowek, Gilles, 1966- [Hrsg.] Rewriting and typed lambda calculi [Elektronische Ressource] / RTA-TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Gilles Dowek (ed.). - (Lecture notes in computer science ; 8560 : Advanced research in computing and software science) 

URL: http://dx.doi.org/10.1007/978-3-319-08918-8 ; Hinw.: Verlag

 2014 
     
6
Hasegawa, Masahito Typed Lambda Calculi and Applications [Elektronische Ressource] / edited by Masahito Hasegawa. - (Lecture Notes in Computer Science ; 7941) 

URL: http://dx.doi.org/10.1007/978-3-642-38946-7 ; Hinw.: Resolving-System

 2013 
     
7
Hasegawa, Masahito, 1970- [Hrsg.] Typed lambda calculi and applications [Elektronische Ressource] / TlCA 2013, Eindhoven, the Netherlands, June 26 - 28, 2013. Masahito Hasegawa. - (Lecture notes in computer science ; 7941 : Advanced research in computing and software science) 

URL: http://dx.doi.org/10.1007/978-3-642-38946-7 ; Hinw.: Verlag

 2013 
     
8
Ong, Luke Typed Lambda Calculi and Applications [Elektronische Ressource] / edited by Luke Ong. - (Lecture Notes in Computer Science ; 6690) 

URL: http://dx.doi.org/10.1007/978-3-642-21691-6 ; Hinw.: Resolving-System

 2011 
     
9
Ong, Luke [Hrsg.] Typed lambda calculi and applications [Elektronische Ressource] / TLCA 2011, Novi Sad, Serbia, June 1 - 3, 2011. Luke Ong (ed.). - (Lecture notes in computer science ; 6690 : Advanced research in computing and software science) 

URL: http://dx.doi.org/10.1007/978-3-642-21691-6 ; Hinw.: Verlag

 2011 
     
10
Stelzner, Werner, 1947- Traditionelle und nichtklassische Logik / Werner Stelzner ; Lothar Kreiser



2004 
     
11
Schmitt, Stephan Proof reconstruction in classical and non-classical logics / Stephan Schmitt. - (Dissertationen zur künstlichen Intelligenz ; 239) 



2000 
     
12

Omega-bibliography of mathematical logic: 1 Classical logic / Wolfgang Rautenberg (ed.)



1987 
     
13

Omega-bibliography of mathematical logic: 1 Classical logic



1987 
     
14
Vetter, Hermann Die Stellung des dialektischen Materialismus zum Prinzip des ausgeschlossenen Widerspruchs. - (Sozialwissenschaftliche Schriftenreihe ; 1) 

URL: http://digitale-objekte.hbz-nrw.de/storage2/2015/05/18/file_1/6233282.pdf
Inhaltsverzeichnis

 1962 
     
15

Omega-bibliography of mathematical logic: 1 Classical logic / Wolfgang Rautenberg (editor)





     


Vorige Seite   Nächste Seite