Tražili ste klasifikacijska oznaka: 03-06
50 rezultata
2
Thinking about Goedel and Turing : essays on complexity, 1970-2007 / Gregory J Chaitin ; with a foreword by Paul Davies. reprint
Thinking about Goedel and Turing : essays on complexity, 1970-2007 / Gregory J Chaitin ; with a foreword by Paul Davies. reprint.
Chaitin, Gregory J.  
New Jersey [etc.] : World Scientific, 2008
Knjiga knjiga
3
Mathematical problems from applied logic I : logics for the XXIst century ; Edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev
Mathematical problems from applied logic I : logics for the XXIst century ; Edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev
Berlin; Heidelberg : Springer-Verlag, 2006
Knjiga knjiga
4
Set theory : Centre de recera matematica Barcelona, 2003-2004 ; Joan Bagaria, Stevo Todorcevic, editors
Set theory : Centre de recera matematica Barcelona, 2003-2004 ; Joan Bagaria, Stevo Todorcevic, editors
Boston; Basel; Berlin : Birkhaeuser Verlag, 2006
e izvori
5
Uncertainty, rationality, and agency / [edited by] Wiebe van der Hoek. reprinted from Synthese 144:2 and 147:2 (2005), special section Knowledge, Rationality & Action.
Dordrecht : Springer, 2006
6
Beyond two : theory and applications of multiple-valued logic / editors Melvin Fitting, Ewa Orlowska
Beyond two : theory and applications of multiple-valued logic / editors Melvin Fitting, Ewa Orlowska
Heidelberg : Physica-Verlag, 2003
7
Computability and models : perspectives east and west / edited by S.Barry Cooper, Sergey S. Goncharov
Computability and models : perspectives east and west / edited by S.Barry Cooper, Sergey S. Goncharov
Dordrecht [etc.] : Kluwer Academic/Plenum Publishers, 2003
8
Foundations of Bayesianism ; Edited by David Corfield and Jon Williamson
Foundations of Bayesianism ; Edited by David Corfield and Jon Williamson
Dordrecht, Boston, London : Kluwer Academic Publishers, 2001
9
Logic and random structures : DIMACS Workshop, November 5-7, 1995 / Ravi B. Boppana, James F. Lynch, editors
Providence, R.I. : American Mathematical Society, 1997
10
Logika, metodologija i filosofija nauki : materialy k VIII Meždunarodnomu kongressu po logike, metodologii i filosofii nauki
Moskva : Akademija nauk SSSR, 1987
Knjiga knjiga


vypusk 1 : Logika, metodologija i filosofija nauki : materialy k VIII Meždunarodnomu kongressu po logike, metodologii i filosofii nauki : referativnyj sbornik ; [otvetstvennyj redaktor A. A. Ali-Zade].Za posudbuZa posudbu
vypusk 2 : Logika, metodologija i filosofija nauki : materialy k VIII Meždunarodnomu kongressu po logike, metodologii i filosofii nauki : sbornik obzorov ; [otvetstvennyj redaktor i sostavitel' vypuska A. I. Pančenko].Za posudbuZa posudbu
vypusk 3 : Logika, metodologija i filosofija nauki : materialy k VIII Meždunarodnomu kongressu po logike, metodologii i filosofii nauki : sbornik obzorov ; [otvetstvennye redaktory-sostaviteli Bobrova L.A., Sokuler Z.A.].Za posudbuZa posudbu
11
Issledovanija po neklassičeskim logikam i formal'nym sistemam / [Otvetstvennyj redaktor A. I. Mihajlov]
Moskva : Izdatel'stvo Nauka, 1983
kongresi i dr.skupovi-publikacije
12
Issledovanija po teorii algorifmov i matematičeskoj logike ; [otvetstvennye redaktory A. A. Markov, V. I. Homič]
Moskva : Nauka, 1979
kongresi i dr.skupovi-publikacije
13
GENERALIZED Recursion Theory II : Proceedings of the 1997 Oslo Symposium / edited by J. E. Fenstad ; R.O. Gandy; G. E. Sacks
GENERALIZED Recursion Theory II : Proceedings of the 1997 Oslo Symposium / edited by J. E. Fenstad ; R.O. Gandy; G. E. Sacks
[Oslo Symposium. eng]
Amsterdam; New York; Oxford, 1978
Knjiga knjiga
14
Modern Uses of Multiple-Valued Logic : invited papers from / the Fifth International Symposium, held at Indiana University (Bloomington, May 13-16, 1975) ; edited by J.Michael Dunn and George Epstein, with a bibliography of many-valued logic by Robert G.Wolf
Modern Uses of Multiple-Valued Logic : invited papers from / the Fifth International Symposium, held at Indiana University (Bloomington, May 13-16, 1975) ; edited by J.Michael Dunn and George Epstein, with a bibliography of many-valued logic by Robert G.Wolf
International Symposium on Multi-Valued Logic (5 ; Bloomington ; 1975)  
Dordrecht(etc.) : D.Reidel, 1977
Knjiga knjiga
15
Zbornik radova : nova serija / Simpozijum Teorija skupova. Osnove matematike ; [urednik Tatomir P. Anđelić]. knjiga 2(10)
[Beograd ; 1977 (Zbornik radova : nova serija)]
Teorija skupova. Osnove matematike (Beograd ; 1977)  
Beograd : Matematički institut, 1977
kongresi i dr.skupovi-publikacije
Katalog
  • Upute
Usluge
  • Moja iskaznica | Za članove
Knjige
|