Book serie: / Книги серии: Oxford Logic Guides 45 » Page 13 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Oxford Logic Guides 45 » Page 13

book Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

pdf

Author: David J. Pym Eike Ritter
Language: English
Year: 2004

00

26.01.2024

0

0

book The Structure of Models of Peano Arithmetic

The Structure of Models of Peano Arithmetic

pdf

Author: Roman Kossak Jim Schmerl
Language: English
Year: 2006

00

26.01.2024

1

0

book From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

pdf

Author: Laura Crosilla Peter Schuster
Language: English
Year: 2005

00

26.01.2024

0

0

book Category Theory

Category Theory

pdf

Author: Awodey S.
Language: English

00

26.01.2024

3

0

book Godel's incompleteness theorems

Godel's incompleteness theorems

djvu

Author: Raymond M. Smullyan
Language: English
Year: 1992

00

26.01.2024

0

0

book Recursion Theory for Metamathematics

Recursion Theory for Metamathematics

djvu

Author: Raymond M. Smullyan
Language: English
Year: 1993

00

26.01.2024

0

0

book Modal logic

djvu

Author: Chagrov A. Zakharyaschev M.
Language: English
Year: 1997

00

26.01.2024

0

0

book Set theory: Boolean-valued models and independence proofs

Set theory: Boolean-valued models and independence proofs

pdf

Author: John L. Bell
Language: English
Year: 2005

00

26.01.2024

0

0

book Category Theory

Category Theory

pdf

Author: Steve Awodey
Language: English
Year: 2006

00

26.01.2024

2

0