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: Melvin Chris. Fitting 12 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Intuitionistic Logic Model Theory and Forcing | Melvin Chris. Fitting | 1969 | Okänt |
| 2 | First-order logic and automated theorem proving | Melvin Chris Fitting | cop. 1990 | Engelska |
| 3 | Intuitionistic logic, model theory and forcing electronic resource | Melvin Chris. Fitting | uuuu-uuuu | Okänt |
| 4 | Computability theory, semantics, and logic programming | Melvin Fitting | 1987 | Engelska |
| 5 | First-order logic and automated theorem proving | Melvin Fitting | cop. 1996 | Engelska |
| 6 | First-order modal logic | Melvin Fitting | c1998 | Engelska |
| 7 | Fundamentals of generalized recursion theory | Melvin Fitting | cop. 1981 | Engelska |
| 8 | Intuitionistic logic - model theory and forcing | Melvin Fitting | 1969 | Engelska |
| 9 | Intuitionistic logic model theory and forcing | Melvin Fitting | 1969 | Engelska |
| 10 | Proof methods for modal and intuitionistic logics | Melvin Fitting | cop. 1983 | Engelska |
| 11 | Types, tableaus, and Gödel's God | Melvin Fitting | 2002 | Engelska |
| 12 | Set theory and the continuum problem | Raymond M. Smullyan | 2010 | Engelska |
1
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.