Zoekresultaten
Resultaat 1 - 20 (van 60)
Paul van Ulsen E. W. Beth als logicus
Non-fictie
Nederlands | 355 pagina's | Institute for Logic, Language and Computation, Amsterdam | 2000
Gedrukt boek
Discrete wiskunde A
Non-fictie
Nederlands | 166 pagina's | Open Universiteit Nederland, Leerstofgebied technische wetenschappen, Heerlen | 2000
Gedrukt boek
H. Drost | I.H.G. Satter ARBO-VLV: beoordeling met fuzzy logic van arbeidsomstandigheden in een vleesvarkensstal
Non-fictie
Nederlands | 73 pagina's | IMAG, Wageningen | 2000
Gedrukt boek
Eva Hoogland | Maarten Marx Interpolation in guarded fragments
Non-fictie
Engels | 29 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Luca Viganò Labelled non-classical logics
Non-fictie
Engels | 291 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2000
Gedrukt boek
L.D. Beklemishev On the induction schema for decidable predicates
Non-fictie
Engels | 22 pagina's | Zeno Institute of Philosophy, Utrecht | 2000
Gedrukt boek
Geraldine Brady From Peirce to Skolem
a neglected chapter in the history of logic
Non-fictie
Engels | 468 pagina's | Elsevier, Amsterdam [etc.] | 2000
Gedrukt boek
August Stern Quantum theoretic machines
what is thought from the point of view of physics
Non-fictie
Engels | 588 pagina's | Elsevier, Amsterdam [etc.] | 2000
Gedrukt boek
Labelled deduction
Non-fictie
Engels | 266 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2000
Gedrukt boek
M. van Atten The irreflexivity of Brouwer's philosophy
Non-fictie
Engels | 11 pagina's | Zeno Institute of Philosophy, Utrecht | 2000
Gedrukt boek
Maarten Marx | Yde Venema Local variations on a loose theme: modal logic and decidability
Non-fictie
Engels | 57 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
G. Mints A short introduction to intuitionistic logic
Non-fictie
Engels | 131 pagina's | Kluwer Academic/Plenum Publishers, New York, Boston, Dordrecht [etc.] | 2000
Gedrukt boek
Yuri L. Ershov | Sergei S. Gončarov Constructive models
Non-fictie
Engels | 293 pagina's | Consultants Bureau, New York, Boston, Dordrecht [etc.] | 2000
Gedrukt boek
Maarten Marx | Nick Bezhanishvili All proper normal extensions of S5-square have the polynomial size model property
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Frank O. Wagner Simple theories
Non-fictie
Engels | 260 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2000
Gedrukt boek
M. van Atten Why Husserl should have been a strong revisionist in mathematics
Non-fictie
Engels | 19 pagina's | Zeno Institute of Philosophy, Utrecht | 2000
Gedrukt boek
A Boole anthology
recent and classical studies in the logic of George Boole
Non-fictie
Engels | 336 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2000
Gedrukt boek
Rosalie Iemhoff A(nother) characterization of intuitionistic propositional logic
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Maarten Marx | Szabolcs Mikulás Products, or How to create modal logics of high complexity
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
John Harris An introduction to fuzzy logic applications
Non-fictie
Engels | 218 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2000
Gedrukt boek