Որոնման արդյունքները

Picturing quantum processes a first course in quantum theory and diagrammatic reasoning ‌ Coecke, Bob, Kissinger, Aleks

Discrete structures, logic, and computability ‌ Hein, James L.

A beginner's further guide to mathematical logic ‌ Smullyan, Raymond M.

Current trends on knowledge-based systems

Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy

A concise introduction to pure mathematics ‌ Liebeck, M. W. 1954-

A first course in mathematical logic and set theory ‌ O'Leary, Michael L.

Table of contents only

Algebra, logic, and combinatorics

Classical groups, derangements, and primes ‌ Burness, Timothy C., Giudici, Michael

Towards paraconsistent engineering

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

A first course in mathematical logic and set theory ‌ O'Leary, Michael L.