Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: Stig Kanger
57 träffar
|
Titel |
Författare |
År |
Språk |
21 |
Abstracts Section 6 - 6th International congress of Logic, Methodology and Philosophy of Science, Hannover, August 22 - August 29, 1979
|
Methodology and Philosophy of Science 1979) Hannover : International congress of Logic
|
1979 |
Flerspråkigt verk |
22 |
Abstracts Sections 1-4 - 6th International congress of Logic, Methodology and Philosophy of Science, Hannover, August 22 - August 29, 1979
|
Methodology and Philosophy of Science 1979) Hannover : International congress of Logic
|
1979 |
Engelska |
23 |
Abstracts Sections 10-12 - 6th International congress of Logic, Methodology and Philosophy of Science, Hannover, August 22 - August 29, 1979
|
Methodology and Philosophy of Science 1979) Hannover : International congress of Logic
|
1979 |
Engelska |
24 |
Abstracts Sections 13-14 - 6th International congress of Logic, Methodology and Philosophy of Science, Hannover, August 22 - August 29, 1979
|
Methodology and Philosophy of Science 1979) Hannover : International congress of Logic
|
1979 |
Engelska |
25 |
Abstracts Sections 5-7 - 6th International congress of Logic, Methodology and Philosophy of Science, Hannover, August 22 - August 29, 1979
|
Methodology and Philosophy of Science 1979) Hannover : International congress of Logic
|
1979 |
Flerspråkigt verk |
26 |
Abstracts Sections 8-9 - 6th International congress of Logic, Methodology and Philosophy of Science, Hannover, August 22 - August 29, 1979
|
Methodology and Philosophy of Science 1979) Hannover : International congress of Logic
|
1979 |
Flerspråkigt verk |
27 |
Solvable cases of the decision problem
|
Wilhelm Ackermann
|
1954 |
Engelska |
28 |
Axiomatic set theory
|
Paul Bernays
|
1958 |
Engelska |
29 |
The foundations of mathematics - a study in the philosophy of science
|
Evert Willem Beth
|
1959 |
Engelska |
30 |
Ancient formal logic
|
Innocent Marie Bocheński
|
1951 |
Engelska |
31 |
The problem of universals - Propositions and sentences
|
Innocent Marie Joseph Bocheński
|
1956 |
Engelska |
32 |
Medieval logic - an outline of its development from 1250 to c. 1400
|
Philotheus Boehner
|
1952 |
Engelska |
33 |
Lärobok i geometri D. 1
|
Fritz Carlson
|
1943 |
Svenska |
34 |
Combinatory logic Vol. 1
|
|
1958 |
Engelska |
35 |
Computer programming and formal systems
|
|
1963 |
Engelska |
36 |
Outlines of a formalist philosophy of mathematics
|
Haskell B. Curry
|
1951 |
Engelska |
37 |
Cylindric set algebras
|
|
1981 |
Engelska |
38 |
The propositional logic of Boethius
|
Karl Dürr
|
1951 |
Engelska |
39 |
Essays on mathematical and philosophical logic - proceedings of the fourth Scandinavian logic symposium and of the first Soviet-Finnish logic conference, Jyväskylä, Finland, June 29 - July 6, 1976
|
Scandinavian logic symposium 1976) Jyväskylä :
|
cop. 1979 |
Engelska |
40 |
Recursive number theory - a development of recursive arithmetic in a logic-free equation calculus
|
Reuben Louis Goodstein
|
1957 |
Engelska |
Förra sidan
1
2
3
Nästa sida
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.