Tražili ste>katalog: bez unosa Suzili ste > nakladnik: D.Reidel poništi sužavanje 
35 rezultata
1
Algorithmic Logic / G. Mirkowska and A. Salwicki
Algorithmic Logic / G. Mirkowska and A. Salwicki
Mirkowska, Grazyna   detalji o autoru
Dordrecht <etc.> : D.Reidel ; Warszawa : PWN, 1987
Knjiga knjiga
3
An Outline of Mathematical Logic : Fundamental results and notions explained with all details / by Andrzej Grzegorczyk ; (transl. from the Polish by Olgierd Wojtasiewicz and Waclaw Zawadowski)
An Outline of Mathematical Logic : Fundamental results and notions explained with all details / by Andrzej Grzegorczyk ; (transl. from the Polish by Olgierd Wojtasiewicz and Waclaw Zawadowski)
Grzegorcyk, Andrzej   detalji o autoru
Dordrecht : D.Reidel, 1974
Knjiga knjiga
4
Boundary Value Problems for Linear Evolution Partial Differential Equations : Proceedings / of the NATO Advanced Study Institute, held in Liege, Belgium, September 6-17, 1976 ; edited by H.G.Garnir
NATO Advanced Study Institute (Liege ; 1976)   detalji o autoru
Dordrecht (etc.) : D.Reidel, 1977 (cop.)
Knjiga knjiga
5
Combinatorics : Proceedings / of the NATO Advanced Study Institute, held at Nijenrode Castle, Breukelen, The Netherlands, July 8-20, 1974 ; edited by M.Hall jr. and J.H.van Lint
Combinatorics : Proceedings / of the NATO Advanced Study Institute, held at Nijenrode Castle, Breukelen, The Netherlands, July 8-20, 1974 ; edited by M.Hall jr. and J.H.van Lint
NATO Advanced Study Institute (1974 ; Breukelen)   detalji o autoru
Dordrecht : D.Reidel, 1975 (cop.)
Knjiga knjiga
6
Combinators  lamda-terms, and proof theory / Soeren Stenlund
8
Course of Mathematical Logic : Volume 2 : Model Theory / Roland Fraisse ; (transl.by David Louvish)
Fraisse, Roland   detalji o autoru
Dordrecht (etc.) : D.Reidel, 1974 (cop.)
Knjiga knjiga
12
Foundations of Coding Theory / edited by William E. Hartnett
Foundations of Coding Theory / edited by William E. Hartnett
Dordrecht (etc.) : D.Reidel, 1974 (cop.)
Knjiga knjiga
13
Group Theory in Non-Linear Problems : Lectures presented / at the NATO Advanced Study Institute on Mathematical Physics, held in Istambul, Turkey, August 7-18, 1972 ; edited by A.O.Barut
Group Theory in Non-Linear Problems : Lectures presented / at the NATO Advanced Study Institute on Mathematical Physics, held in Istambul, Turkey, August 7-18, 1972 ; edited by A.O.Barut
NATO Advanced Study Institute (1972 ; Istambul)   detalji o autoru
Dordrecht (etc.) : D.Reidel, 1974 (cop.)
Knjiga knjiga
15
Higher Combinatorics : Proceedings / of the NATO Advanced Study Institute, held in Berlin, (West Germany), September 1-10, 1976 ; edited by Martin Aigner
Higher Combinatorics : Proceedings / of the NATO Advanced Study Institute, held in Berlin, (West Germany), September 1-10, 1976 ; edited by Martin Aigner
NATO Advanced Study Institute (1976 ; Berlin)   detalji o autoru
Dordrechr : D.Reidel, 1977 (cop.)
Knjiga knjiga
17
Mathematics as an Educational Task / by Hans Freudenthal
Mathematics as an Educational Task / by Hans Freudenthal
Freudenthal, Hans   detalji o autoru
Dordrecht : D.Reidel, 1973 (cop.)
Knjiga knjiga
18
Modeling groundwater flow and pollution : with computer programs for sample cases / Jacob Bear ; and Arnold Verruijt
Modeling groundwater flow and pollution : with computer programs for sample cases / Jacob Bear ; and Arnold Verruijt
Bear, Jacob   detalji o autoru
Dordrecht (etc.) : D.Reidel, 1987
Knjiga knjiga
20
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)   detalji o autoru
Dordrecht(etc.) : D.Reidel, 1977
Knjiga knjiga