Robert McLean

The Quantum Brain: Theory and Implications
August Stern North‑Holland (Elsevier), Amsterdam / London / New York, 1994 ISBN 0444818642 / 9780444818645 Language: English
Book Description
A rigorous and exploratory study of the possible role of quantum processes in neural function and cognition. Stern examines the mathematical and physical foundations of quantum theory and applies them to models of brain dynamics, neural computation, and information processing. The work bridges theoretical physics, cognitive science, and computational modeling, offering one of the more technically grounded treatments of quantum‑inspired approaches to mind and consciousness. From the Hassan Aït‑Kaci technical library, reflecting his broad engagement with theoretical computation and the foundations of intelligent systems.

Combinators, λ‑Terms and Proof Theory
Author: Sören Stenlund Series: Synthese Library (Book 92 of 304) Publisher: D. Reidel Publishing Company, Dordrecht, 1972 Language: English ISBN‑10: 9027703051 ISBN‑13: 9789027703057
Description
Combinators, λ‑Terms and Proof Theory is a foundational monograph in combinatory logic, lambda calculus, and proof theory. According to Springer, the book presents "basic ideas and results in pure combinatory logic and their applications to topics in proof theory," including material revised from Stenlund's earlier notes on combinatory logic.
The Internet Archive confirms the volume contains 184 pages, includes a bibliography, and is based on Stenlund's academic work at Uppsala University.
Core topics include:


Combinatory logic foundations


λ‑calculus and its relationship to combinators


Church–Rosser properties and reduction theory


Proof‑theoretic applications


Computable functionals and finite‑type systems


This volume remains a key reference for rese…Read more

Introduction à la théorie des sous‑ensembles flous – Tome 3
Author: A. Kaufmann Series: Introduction à la théorie des sous‑ensembles flous (Tomes 1–4) Publisher: Masson, 1975–1977 Language: French
Description
This is Tome 3 of A. Kaufmann's influential four‑volume series on fuzzy set theory, one of the earliest comprehensive treatments of fuzzy logic and its engineering applications. Published by Masson between 1975 and 1977, the series became a cornerstone reference for researchers in control systems, pattern recognition, classification, automata, and decision theory.
Volume 3 focuses on applied fuzzy‑set methods, including:


Classification and pattern recognition


Automata and fuzzy systems


Decision criteria and multi‑criteria selection


Engineering‑oriented fuzzy modeling


Kaufmann's work predates the widespread adoption of fuzzy logic in AI and control engineering, making these early volumes historically significant for the development of soft computing.
Collectible Significanc…Read more

Data Structures and Their Algorithms
Authors: Harry R. Lewis; Larry Denenberg Publisher: HarperCollins Publishers Canada, Limited, 1991 Language: English ISBN‑10: 067339736X ISBN‑13: 9780673397362
Description
Data Structures and Their Algorithms is a rigorous, language‑independent introduction to the mathematical and conceptual foundations of data structures. The authors present a unified approach to abstract data types, algorithmic analysis, and implementation strategies using clear pseudocode designed to be readable across programming languages.
Core topics include:


Lists, stacks, queues and their formal properties


Trees, graphs, and balanced structures


Hashing and priority queues


Sorting and searching algorithms


Mathematical modeling of data structures


Lewis (Harvard) and Denenberg emphasize correctness, performance, and abstraction — making this one of the more mathematically disciplined data‑structures texts of the early 1990s.
Collectible Significance
The HarperCollins Canada print…Read more

Languages and Machines: An Introduction to the Theory of Computer Science
Author: Thomas A. Sudkamp Publisher: Addison‑Wesley, 1988 Language: English ISBN‑10: 0201157683 ISBN‑13: 9780201157680
Description
Languages and Machines is a clear, mathematically grounded introduction to the theory of computation, designed for upper‑level undergraduates and early graduate students. The 1988 Addison‑Wesley first edition presents a structured progression through the major pillars of formal language theory:


Finite automata and regular languages


Context‑free grammars and parsing


Turing machines and computability


Complexity theory and decision problems


Sudkamp's exposition emphasizes rigorous definitions, accessible proofs, and a unified view of computation across automata, grammars, and machine models. This edition predates the later expansions of the text and is valued for its concise, pre‑1990s theoretical framing.
Collectible Significance
The 1988 printing is the true first edition, preceding th…Read more

Formal Language Theory: Perspectives and Open Problems
Editor: Ronald V. Book Publisher: Academic Press, New York, 1980 Language: English ISBN‑10: 0121153509 ISBN‑13: 9780121153502
Description
Formal Language Theory: Perspectives and Open Problems is a landmark volume collecting contributions from leading researchers in automata theory, formal languages, and the mathematical foundations of computation. Published in 1980 by Academic Press, the book surveys the state of the field at a pivotal moment, presenting both established results and emerging research directions.
Chapters explore:


Context‑free and context‑sensitive languages


Automata and grammar hierarchies


Decision problems and complexity boundaries


Algebraic and combinatorial methods in language theory


Open problems that shaped subsequent decades of theoretical computer science


Edited by Ronald V. Book — a major figure in formal language theory — this volume remains a valuable reference for researchers studying the evolution of a…Read more

Condition: Fine. Clean, tight, and unmarked copy with sharp corners and no spine creasing. Cover shows bright color with no fading. Pages crisp and free of writing, highlighting, or institutional markings. An excellent example of this Cambridge University Press title.
Finite Markov Chains and Algorithmic Applications
Author: Olle Häggström Series: London Mathematical Society Student Texts, No. 52 Publisher: Cambridge University Press, 2002 Language: English ISBN‑10: 0521890012 ISBN‑13: 9780521890014
Description
Finite Markov Chains and Algorithmic Applications is a concise, rigorous introduction to Markov chains and their role in modern randomized algorithms. According to Cambridge University Press, the book develops the necessary probability background before applying Markov‑chain methods to algorithmic problems, including Markov chain Monte Carlo, simulated annealing, and the Propp–Wilson perfect sampling algorithm.
The Internet Archive confirms the text includes 114 pages of focused material cove…Read more

Extremely scarce 1996 Russian BHV MASTER‑series edition; no commercial listings found worldwide.
The Visual C++ Handbook, Second Edition (Russian Translation, 1996)
Authors: Chris H. Pappas; William H. Murray III Publisher: BHV‑St. Petersburg, 1996 Language: Russian Pages: 888 Original English Edition: Osborne McGraw‑Hill (1994/1995)
Description
This is the Russian‑language 1996 edition of The Visual C++ Handbook, Second Edition, a comprehensive programming reference by Chris H. Pappas and William H. Murray III. Published by BHV‑St. Petersburg, this translation brought one of the most influential mid‑1990s Visual C++ guides to Russian‑speaking developers during a pivotal period in Eastern European computing.
The book provides a complete introduction to:


C and C++ programming, taught in parallel


Microsoft Visual C++ development, including compiler, linker, and IDE usage


Windows and Win32 programming


Microsoft Foundation Classes (MFC)


Practical examples, diagrams, and code demonstrations…Read more