Example image of eyePlorer eyePlorer-Ergebnisse für 'Dana Scott': 1932 Automatentheorie Berkeley Informatik Logik Mathematik Modelltheorie Philosophie Programmiersprache Alfred Tarski Alonzo Church Princeton University University of California, Berkeley IBM Michael O. Rabin Thomas J. Watson Research Center Turing Award Universität von Chicago Modallogik Stanford University Universität von Amsterdam Rolf-Schock-Preis University of Oxford Carnegie Mellon University Pittsburgh Universität Linz Boolesche Variable Kontinuumshypothese Paul Cohen (Mathematiker) Robert M. Solovay Kategorientheorie Topologie (Mathematik) Alfred P. Sloan Guggenheim-Stipendium Xerox PARC Technische Universität Darmstadt University of Edinburgh Universität Ljubljana Universität Utrecht American Academy of Arts and Sciences Association for Computing Machinery British Academy National Academy of Sciences Akademie der Wissenschaften der Tschechischen Republik Kenneth Kunen Potenzmengenkonstruktion Ordinalzahl
Disclaimer