Skip to main content

Author picture

Jouko Väänänen

Author of Models and Games

11+ Works 40 Members

About the Author

Includes the names: Jouko Vaananen, Jouko Väänänen

Works by Jouko Väänänen

Models and Games (2011) 11 copies

Dependence Logic: A New Approach to Independence Friendly Logic (2007) 8 copies

Matemaattinen logiikka (1987) 4 copies

Rauhaa, peace! pasifismin klassikoita : uusintapainos 2500 vuotta vanhasta aiheesta (2009) 3 copies

Pasifistinen vakaumus (1985) 3 copies

Nuoriso ja asevelvollisuus (1988) 3 copies

Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, ... (Lecture Notes in… (2000) 3 copies

Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings (Lecture Notes in Computer Science Book… (2016) 2 copies

Maalaistentalo - Maaseudun ja osuustoiminnan kotipesä keskellä Helsinki 1 copy

Pasifistinen vakaumus 1 copy

Vaestonsuojelu: Humanitarismia vai selustaa sodalle? (Sadankomiteavihkot) (Finnish Edition) (1983) 1 copy

Associated Works

Johan van Benthem on Logic and Information Dynamics (2014) — Contributor — 13 copies

Tagged

Main Associated

aatehistoria (1) agriculture (1) classic (1) Finland (1) foundations of mathematics (1) goodreads (1) Helsinki (1) history (1) location.home (1) logic (1) math (4) mathematical logic (1) model theory (1) non-fiction (1) oma (1) oppikirja (1) owner: jukka (1) pacifism (1) pasifismi/pacifism (1) philosophy (2) politics (1) tiede (1) to-read (1)

Common Knowledge

Birthdate: 1950-09-03
Gender: male
Nationality: Finland
Associated Place (for map): Finland

Members

Reviews

No reviews found.

You May Also Like

Associated Authors

Alexandru Baltag

Statistics

Works: 11
Also by: 1
Members: 40
Popularity: #370,099
Rating: 4.0

ISBNs: 18
Languages: 1

Pictures

Links

No links

Helper Hub

LibraryThing members improve authors by combining author names and works, separating out homonymous authors into separate identities, and more.

Helpers

Is This You?

Become a LibraryThing Author.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson