Book serie: / Книги серии: Center for the Study of Language and Information - CSLI Lecture Notes 60 » Page 7 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Center for the Study of Language and Information - CSLI Lecture Notes 60 » Page 7

book Vicious circles: On the mathematics of non-wellfounded phenomena

Vicious circles: On the mathematics of non-wellfounded phenomena

djvu

Author: Barwise J. Moss L.
Language: English
Year: 1996

00

27.01.2024

0

0

book Normalization, Cut-Elimination, and the Theory of Proofs

Normalization, Cut-Elimination, and the Theory of Proofs

pdf

Author: A. M. Ungar
Language: English
Year: 1992

00

27.01.2024

0

0

book Literate Programming

Literate Programming

djvu

Author: Donald E. Knuth
Language: English
Year: 1992

00

27.01.2024

0

0

book Games, Logic, and Constructive Sets

Games, Logic, and Constructive Sets

djvu

Author: Grigori Mints Reinhard Muskens
Language: English
Year: 2003

00

27.01.2024

0

0

book Propositional Attitudes: The Role of Content in Logic, Language, and Mind

Propositional Attitudes: The Role of Content in Logic, Language, and Mind

djvu

Author: C. Anthony Anderson Joseph Owens
Language: English
Year: 1990

00

27.01.2024

0

0

book Games, Logic, and Constructive Sets

Games, Logic, and Constructive Sets

djvu

Author: Grigori Mints Reinhard Muskens
Language: English
Year: 2003

00

27.01.2024

0

0

book A Manual of Intensional Logic

A Manual of Intensional Logic

pdf

Author: Johan van Benthem
Language: English
Year: 1988

00

27.01.2024

0

0

book Lectures on Linear Logic

Lectures on Linear Logic

djvu

Author: A. S. Troelstra
Language: English
Year: 1992

00

27.01.2024

0

0

book Hyperproof

Hyperproof

djvu

Author: Jon Barwise John Etchemendy
Language: English
Year: 1994

00

27.01.2024

0

0

book Attribute-Value Logic and the Theory of Grammar

Attribute-Value Logic and the Theory of Grammar

djvu

Author: Mark Johnson
Language: English
Year: 1988

00

27.01.2024

0

0