Book serie: / Книги серии: Studies in logic 29-30.,Studies in logic. Mathematical logic and foundations » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Studies in logic 29-30.,Studies in logic. Mathematical logic and foundations » Page 3

book Logic and philosophy today, vol.2

Logic and philosophy today, vol.2

djvu

Author: Gupta Amitabha, Benthem Johan van (eds.)
Language: English
Year: 2011

00

30.01.2024

0

0

book Logic and philosophy today, vol.1

Logic and philosophy today, vol.1

djvu

Author: Gupta Amitabha, Benthem Johan van (eds.)
Language: English
Year: 2011

00

30.01.2024

0

0

book Handbook of the logic of argument and inference: the turn towards the practical

Handbook of the logic of argument and inference: the turn towards the practical

djvu

Author: Gabbay Dov M Johnson R.H. Ohlbach H.J. Woods J. (eds.)
Language: English
Year: 2002

00

30.01.2024

0

0

book Handbook of computability theory

Handbook of computability theory

djvu

Author: Griffor Edward R
Language: English
Year: 1999

00

30.01.2024

0

0

book Foundations of the formal sciences 1: the history of the concept of the formal sciences

Foundations of the formal sciences 1: the history of the concept of the formal sciences

pdf

Author: Löwe Benedikt, Peckhaus Volker, Räsch Thoralf (eds.)
Language: English
Year: 2002

00

30.01.2024

0

0

book Foundations of the formal sciences V: Infinite games

Foundations of the formal sciences V: Infinite games

djvu

Author: Bold Stefan. Loewe B. Rasch T. van Benthem J. (eds.)
Language: English
Year: 2007

00

30.01.2024

0

0

book Dualities for structures of applied logics

Dualities for structures of applied logics

djvu

Author: Orlowska Ewa, Radzikowska Anna Maria, Rewitzky Ingrid M
Language: English
Year: 2015

00

30.01.2024

2

0

book Categorical logic and type theory

Categorical logic and type theory

djvu

Author: Jacobs Bart
Language: English
Year: 1999

00

30.01.2024

0

0

book Automated reasoning in higher-order logic: set comprehension and extensionality in church`s type theory

Automated reasoning in higher-order logic: set comprehension and extensionality in church`s type theory

djvu

Author: Brown Chad E
Language: English
Year: 2007

00

30.01.2024

1

0

book Aristotle's modal syllogisms

Aristotle's modal syllogisms

djvu

Author: Aristotle., McCall Storrs
Language: English
Year: 1963

00

30.01.2024

0

0