Temporal Logic - From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing
Stefania Centrone,Klaus Mainzer
Discover references
Stefania Centrone,Klaus Mainzer
Herbert Enderton,Herbert B. Enderton
Alonzo Church
Suzanne Bachelard. Translated by Lester E. Embree
Denis McManus
Dobrzeniecki,Marek
Gordon J. Pace
László Lovász,József Pelikán,Katalin Vesztergombi
Alan Hausman,Howard Kahane,Paul Tidman
Alan Hausman,Howard Kahane,Paul Tidman
Valentin Goranko
I. Grattan-Guinness
Paul Carus
William Bragg Ewald
Sal Restivo (auth.)
Johan van Benthem (editor),Gerhard Heinzmann (editor),Manuel Rebuschi (editor),Henk Visser (editor)
Wesley C. Salmon (editor),Gereon Wolters (editor)
A. Yu. Kitaev,A. H. Shen,M. N. Vyalyi
Paul Thom (auth.)
Denis R Hirschfeldt,Chitat Chong,Qi Feng,Theodore A Slaman,W Hugh Woodin,Yue Yang
Bertrand Russell
Courant, Richard;Robbins, Herbert
Sermey Khensur Lobsang Tharchin Rinpoche,Vincent Montenegro
C. T. Chong (auth.),Juichi Shinoda,Tosiyuki Tugué,Theodore A. Slaman (eds.)