Skip to content
VuFind
Language
English
Español
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search
Formal methods :
Description
Cite this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to RDF
Export to BibTeX
Export to RIS
Formal methods : an introduction to symbolic and to the study of effective operations in arithmetic and logic /
Bibliographic Details
Main Author:
Beth, Evert Willem
(Author, Autor/a)
Format:
Book
Language:
English
Published:
Dordrecht, Holland :
Reidel,
c1962.
Subjects:
LOGICA, SIMBOLICA Y MATEMATICA
Holdings
Description
Similar Items
Staff View
Description
Physical Description:
170 páginas
Similar Items
Epistemología matemática y psicología : relaciones entre la lógica formal y el pensamiento real /
by: Beth, Evert Willem, et al.
Published: (1980)
Formal logic : its scope and limits
by: Jeffrey, Richard C., et al.
Published: (1967)
Logic techniques of formal reasoning /
by: Kalish, Donald, et al.
Published: (1964)
Symbolic logic : an introduction
by: Thomason, Richmond H, et al.
Published: (1970)
An Introduction to symbolic logic
by: Langer, Susanne Katherina Knauth n. 1895, et al.
Published: (1953)
×
Loading...