EN ورود

کشف منابع

formalism

کتاب‌ها

7 نتیجه

Cover of Introduction to the theory of computation

English Beginner

Introduction to the theory of computation

Eitan Gurari

1989 مشاهدهٔ کتاب

Cover of Logic and specification: extending VDM-SL for advanced formal specification

English Beginner

Logic and specification: extending VDM-SL for advanced formal specification

Cornelis A. Middelburg

1993 مشاهدهٔ کتاب

Cover of The structure and development of mathematical theories. Modern Logic

English Beginner

The structure and development of mathematical theories. Modern Logic

Burgin M.S.,Kuznetsov V.I.

مشاهدهٔ کتاب

Cover of Quantum Mechanics. Principles and Formalism

English Beginner

Quantum Mechanics. Principles and Formalism

R. McWeeny (Auth.)

1972 مشاهدهٔ کتاب

Cover of A Mathematical Introduction to Logic, Second Edition

English Beginner

A Mathematical Introduction to Logic, Second Edition

Herbert Enderton,Herbert B. Enderton

2001 مشاهدهٔ کتاب

Cover of Set Theory and Its Logic

English Beginner

Set Theory and Its Logic

Quine,Willard Van Orman

1969 مشاهدهٔ کتاب

Cover of Introduction to Metamathematics

English Beginner

Introduction to Metamathematics

S.C. Kleene

1980 مشاهدهٔ کتاب