Valentin Goranko

Temporal Logic

2023 · ENGLISH · PDF

View details →

Temporal Logics in Computer Science: Finite-State Systems

2016 · ENGLISH · PDF

View details →

Logic as a Tool: A Guide to Formal Logical Reasoning

2016 · ENGLISH · PDF

View details →

Logic and Discrete Mathematics A Concise Introduction

2015 · ENGLISH · PDF

View details →

Temporal Logics in Computer Science. Finite-State Systems

2016 · ENGLISH · PDF

View details →

Logic as a Tool: A Guide to Formal Logical Reasoning

2016 · ENGLISH · PDF

View details →

Logic and discrete mathematics: a concise introduction

2015 · ENGLISH · PDF

View details →

Logic and Discrete Mathematics: A Concise Introduction, Solutions Manual

2015 · ENGLISH · PDF

View details →

Logic and Discrete Mathematics: A Concise Introduction

2015 · ENGLISH · PDF

View details →

Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

2009 · ENGLISH · PDF

View details →

Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

2009 · ENGLISH · PDF

View details →