Catalogo · 9783030494261
The Legacy of Kurt Schütte
ISBN 9783030494261
Descrizione non disponibile per questo libro.
Communitas attorno al libro
Porta una citazione, apri una discussione o fai una domanda su questo libro in Communitas.
Accedi per partecipareLetture affini
Intensionality
Reinhard Kahle
Advances in Proof Theory
Reinhard Kahle, Thomas Strahm, Thomas Studer
Proof theory in computer science
Reinhard Kahle, Peter Schroeder-Heister
Gentzen's Centenary
Reinhard Kahle, Michael Rathjen
Axiomatic Thinking I
Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
Axiomatic Thinking II
Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
Verantwortung
Reinhard Kahle, Niels Weidtmann
Limits of AI - Theoretical, Practical, Ethical
Klaus Mainzer, Reinhard Kahle
Intensionality (Lecture Notes in Logic) (Lecture Notes in Logic)
Reinhard Kahle
Computer Science Logic
Erich Grädel, Reinhard Kahle
Verba volant · scripta manent